Diagrammatic Algebra: From Linear to Concurrent Systems (bibtex)

by Filippo Bonchi, Joshua Holland, Robin Piedeleu, Paweł Sobociński and Fabio Zanasi

Reference:

Filippo Bonchi, Joshua Holland, Robin Piedeleu, Paweł Sobociński and Fabio Zanasi, Diagrammatic Algebra: From Linear to Concurrent Systems, In Proc. ACM Program. Lang., vol. 3, no. POPL, pp. 25:1–25:28, 2019.

Bibtex Entry:

@article{Bonchi2019,
  author    = {Filippo Bonchi and Joshua Holland and Robin Piedeleu and Pawe{\l} Soboci{\'{n}}ski and Fabio Zanasi},
  title     = {Diagrammatic Algebra: From Linear to Concurrent Systems},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {25:1--25:28},
  year      = {2019},
  doi       = {10.1145/3290338},
  url       = {https://doi.org/10.1145/3290338},
}