Author:
Dubslaff Clemens,Baier Christel
Publisher
Springer International Publishing
Reference34 articles.
1. Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. In: Software Concepts and Tools, pp. 304–313 (1996)
2. Lecture Notes in Computer Science;R Alur,1999
3. IFIP Advances in Information and Communication Technology;JCM Baeten,1994
4. Bergstra, J.A., Bethke, I., Ponse, A.: Process algebra with iteration and nesting. Comput. J. 37(4), 243 (1994)
5. Bollig, B., Kuske, D., Meinecke, I.: Propositional dynamic logic for message-passing systems. Log. Methods Comput. Sci. 6(3:16), 1–31 (2010)