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]

@inproceedings{ScheweAB21,
  title = {Realisability of Control-State Choreographies},
  author = {Klaus-Dieter Schewe and Yamine Aït Ameur and Sarah Benyagoub},
  year = {2021},
  doi = {10.1007/978-3-030-78428-7_8},
  url = {https://doi.org/10.1007/978-3-030-78428-7_8},
  researchr = {https://researchr.org/publication/ScheweAB21},
  cites = {0},
  citedby = {0},
  pages = {87-100},
  booktitle = {Model and Data Engineering - 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings},
  editor = {J. Christian Attiogbé and Sadok Ben Yahia},
  volume = {12732},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-78428-7},
}