Realisability of Control-State Choreographies

Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub. Realisability of Control-State Choreographies. In J. Christian Attiogbé, Sadok Ben Yahia, editors, Model and Data Engineering - 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings. Volume 12732 of Lecture Notes in Computer Science, pages 87-100, Springer, 2021. [doi]

Authors

Klaus-Dieter Schewe

This author has not been identified. Look up 'Klaus-Dieter Schewe' in Google

Yamine Aït Ameur

This author has not been identified. Look up 'Yamine Aït Ameur' in Google

Sarah Benyagoub

This author has not been identified. Look up 'Sarah Benyagoub' in Google