Refinement for Signal Flow Graphs. - Filippo Bonchi; Joshua Holland; Dusko Pavlovic; Pawel Sobocinski 001 (CONCUR, 2017)

Diagrammatic algebra: from linear to concurrent systems. - Filippo Bonchi; Joshua Holland; Robin Piedeleu; Pawel Sobocinski 001; Fabio Zanasi (Proc. ACM Program. Lang., 2019)