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: