Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Fri 18 Jan 2019 14:07 - 14:29 at Sala I - Semantics Chair(s): Noam Zeilberger

We introduce the resource calculus, a string diagrammatic language for concurrent systems. Significantly, it uses the same syntax and operational semantics as the signal flow calculus — an algebraic formalism for signal flow graphs, which is a combinatorial model of computation of interest in control theory. Indeed, our approach stems from the simple but fruitful realisation that, by replacing real numbers (modelling signals) with natural numbers (modelling resources) in the operational semantics, concurrent behaviour patterns emerge.

The resource calculus is canonical: we equip it and its stateful extension with equational theories that characterise the underlying space of definable behaviours—a convex algebraic universe of additive relations— via isomorphisms of categories. Finally, we demonstrate that our calculus is sufficiently expressive to capture behaviour definable by classical Petri nets.

Fri 18 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

13:45 - 14:51: Research Papers - Semantics at Sala I
Chair(s): Noam ZeilbergerUniversity of Birmingham, UK
POPL-2019-Research-Papers13:45 - 14:07
Wen KokkeUniversity of Edinburgh, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark
Link to publication DOI Media Attached
POPL-2019-Research-Papers14:07 - 14:29
Filippo BonchiUniversity of Pisa, Joshua HollandUniversity of Southampton, Robin PiedeleuUniversity of Oxford, Pawel SobocinskiUniversity of Southampton, Fabio ZanasiUniversity College London
Link to publication DOI Media Attached
POPL-2019-Research-Papers14:29 - 14:51
Paolo BaldanUniversity of Padova, Barbara KönigUniversity of Duisburg-Essen, Christina Mika-MichalskiUniversity of Duisburg-Essen, Tommaso PadoanUniversity of Padova
Link to publication DOI Media Attached File Attached