On the Axiomatizability of Priority III: The Return of Sequential Composition

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]

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Elli Anastasiadi

This author has not been identified. Look up 'Elli Anastasiadi' in Google

Valentina Castiglioni

This author has not been identified. Look up 'Valentina Castiglioni' in Google

Anna Ingólfsdóttir

This author has not been identified. It may be one of the following persons: Look up 'Anna Ingólfsdóttir' in Google

Mathias Ruggaard Pedersen

This author has not been identified. Look up 'Mathias Ruggaard Pedersen' in Google