Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Diagrammatic algebra: from linear to concurrent systems
POPL, 2019.
@article{POPL-2019-BonchiHPSZ,
author = "Filippo Bonchi and Joshua Holland and Robin Piedeleu and Pawel Sobocinski and Fabio Zanasi",
doi = "10.1145/3290338",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "28",
publisher = "{ACM}",
title = "{Diagrammatic algebra: from linear to concurrent systems}",
volume = 3,
year = 2019,
}
Tags: