Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates
Under an Elsevier user license
open archive
Keywords
Choreography realizability
Realizability enforcement
Software integration
Automated synthesis
Service choreography
Distributed coordination
Cited by (0)
© 2017 Elsevier B.V.