Diagrammatic Algebra: from Linear to Concurrent Systems

Bonchi, F; Holland, J; Piedeleu, R; Sobocinski, P; Zanasi, F; (2019) Diagrammatic Algebra: from Linear to Concurrent Systems. In: Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). ACM: Cascais, Lisbon, Portugal.

https://ift.tt/2TYlNcs