Published in: LIPIcs, Volume 184, 24th International Conference on Principles of Distributed Systems (OPODIS 2020)
Mahboubeh Samadi, Fatemeh Ghassemi, and Ramtin Khosravi. Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. In 24th International Conference on Principles of Distributed Systems (OPODIS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 184, pp. 21:1-21:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{samadi_et_al:LIPIcs.OPODIS.2020.21, author = {Samadi, Mahboubeh and Ghassemi, Fatemeh and Khosravi, Ramtin}, title = {{Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems}}, booktitle = {24th International Conference on Principles of Distributed Systems (OPODIS 2020)}, pages = {21:1--21:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-176-4}, ISSN = {1868-8969}, year = {2021}, volume = {184}, editor = {Bramas, Quentin and Oshman, Rotem and Romano, Paolo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2020.21}, URN = {urn:nbn:de:0030-drops-135069}, doi = {10.4230/LIPIcs.OPODIS.2020.21}, annote = {Keywords: Asynchronous Message Passing, Choreography-Based, Runtime Enforcement, Runtime Prevention, Message Ordering} }
Feedback for Dagstuhl Publishing