Published in: LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
Astrid Belder, Bas Luttik, and Jos Baeten. Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 139, pp. 11:1-11:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{belder_et_al:LIPIcs.CALCO.2019.11, author = {Belder, Astrid and Luttik, Bas and Baeten, Jos}, title = {{Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity}}, booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)}, pages = {11:1--11:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-120-7}, ISSN = {1868-8969}, year = {2019}, volume = {139}, editor = {Roggenbach, Markus and Sokolova, Ana}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.11}, URN = {urn:nbn:de:0030-drops-114390}, doi = {10.4230/LIPIcs.CALCO.2019.11}, annote = {Keywords: Sequencing, Sequential composition, Bisimilarity, Axiomatisation, Decidability} }
Feedback for Dagstuhl Publishing