Author:
Hennicker Rolf,Wirsing Martin
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;L Andrade,2003
2. Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party sessions. Log. Methods Comput. Sci. 8(1), 1–45 (2012)
3. Cengarle, M.V., Knapp, A., Mühlberger, H.: Interactions. In: Lano, K. (ed.) UML 2-Semantics and Applications, pp. 205–248. Wiley, Hoboken (2009)
4. Lecture Notes in Computer Science;P-M Deniélou,2012
5. Gnesi, S., Mazzanti, F.: An abstract, on the fly framework for the verification of service-oriented systems. In: Wirsing and Hölzl [22], pp. 390–407