Diagrammatic algebra: from linear to concurrent systems

Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi. Diagrammatic algebra: from linear to concurrent systems. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Abstract

Abstract is missing.