Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies.

Adel Khaled James Miller

Published in: IEEE Trans. Serv. Comput. (2017)

Keyphrases

process algebra
concurrent systems
formal methods
colored petri nets
formal specification
model checking
neural network
provably correct
data sets
machine learning
formal verification
formal models
mathematical theory