Realisability of Choreographies

Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub. Realisability of Choreographies. In Andreas Herzig, Juha Kontinen, editors, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Volume 12012 of Lecture Notes in Computer Science, pages 263-280, Springer, 2020. [doi]


Abstract is missing.