Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen. On the Axiomatizability of Priority III: The Return of Sequential Composition. In Alessandra Cherubini, Nicoletta Sabadini, Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. Volume 2504 of CEUR Workshop Proceedings, pages 145-157, CEUR-WS.org, 2019. [doi]
@inproceedings{AcetoACIP19,
title = {On the Axiomatizability of Priority III: The Return of Sequential Composition},
author = {Luca Aceto and Elli Anastasiadi and Valentina Castiglioni and Anna Ingólfsdóttir and Mathias Ruggaard Pedersen},
year = {2019},
url = {http://ceur-ws.org/Vol-2504/paper18.pdf},
researchr = {https://researchr.org/publication/AcetoACIP19},
cites = {0},
citedby = {0},
pages = {145-157},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019},
editor = {Alessandra Cherubini and Nicoletta Sabadini and Simone Tini},
volume = {2504},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}