Joshua Holland

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Concurrent Systems

Algebraic Expressions

Top Venues

Proc. ACM Program. Lang.

Publications

Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. 3 (POPL) (2019)
Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski
Refinement for Signal Flow Graphs. CONCUR (2017)