Invited Paper: In search of lost time: Axiomatising parallel composition in process algebras (at LICS 2021)
Authors: Luca Aceto Elli Anastasiadi Valentina Castiglioni Anna Ingólfsdóttir Bas Luttik
Abstract
No Abstract Available
BibTeX
@InProceedings{InglfsdttirLuttik-InsearchoflosttimeA, author = {Luca Aceto and Elli Anastasiadi and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik}, title = {In search of lost time: Axiomatising parallel composition in process algebras}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--14}, location = {Rome, Italy}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }