1. Realizability and verification of msc graphs;Alur;Theor. Comput. Sci.,2005
2. T. Andrews, F. Curbera, Web Service Business Process Execution Language, Working Draft, Version 2.0, 1, 2004.
3. P. Baker, P. Bristow, C. Jervis, D.J. King, R. Thomson, B. Mitchell, S. Burton, Detecting and resolving semantic pathologies in UML sequence diagrams, in: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5–9, 2005, pp. 50–59.
4. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, C. Schifanella, Service selection by choreography-driven matching, WEWST.
5. Syntactic detection of process divergence and non-local choice in message sequence charts;Ben-Abdallah,1997