Checking consistency between message choreographies and their implementation models (2010)

by V Kozyura, A Roth, S Wieczorek, W Wei
Venue:In Proceedings of the 10th International Workshop on Automated Verification of Critical Systems