Jorge Roa, Pablo David Villarreal, Omar Chiotti. Behavior Alignment and Control Flow Verification of Process and Service Choreographies. J. UCS, 18(17):2383-2406, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.