Collaborated with:
F.Bonchi Robin Piedeleu P.Sobocinski F.Zanasi
Talks about:
diagrammat (1) concurr (1) algebra (1) system (1) linear (1)
Person: Joshua Holland
DBLP: Holland:Joshua
Contributed to:
Wrote 1 papers:
- POPL-2019-BonchiHPSZ #algebra #concurrent #diagrams #linear
- Diagrammatic algebra: from linear to concurrent systems (FB, JH, RP, PS, FZ), p. 28.