Niels Lohmann, Karsten Wolf. Decidability Results for Choreography Realization. In Gerti Kappel, Zakaria Maamar, Hamid R. Motahari Nezhad, editors, Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings. Volume 7084 of Lecture Notes in Computer Science, pages 92-107, Springer, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.