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]
@article{RoaVC12,
title = {Behavior Alignment and Control Flow Verification of Process and Service Choreographies},
author = {Jorge Roa and Pablo David Villarreal and Omar Chiotti},
year = {2012},
url = {http://www.jucs.org/jucs_18_17/behavior_alignment_and_control},
researchr = {https://researchr.org/publication/RoaVC12},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {18},
number = {17},
pages = {2383-2406},
}