Bonchi, F;
Piedeleu, R;
Sobociński, P;
Zanasi, F;
(2021)
Bialgebraic foundations for the operational semantics of string diagrams.
Information and Computation
, 281
, Article 104767. 10.1016/j.ic.2021.104767.
Preview |
Text
main.pdf - Accepted Version Download (897kB) | Preview |
Abstract
Turi and Plotkin's bialgebraic semantics is an abstract approach to specifying the operational semantics of a system, by means of a distributive law between its syntax (encoded as a monad) and its dynamics (an endofunctor). This setup is instrumental in showing that a semantic specification (a coalgebra) is compositional. In this work, we use the bialgebraic approach to derive well-behaved structural operational semantics of string diagrams, a graphical syntax that is increasingly used in the study of interacting systems across different disciplines. Our analysis relies on representing the two-dimensional operations underlying string diagrams in various categories as a monad, and their semantics as a distributive law for that monad. As a proof of concept, we provide bialgebraic semantics for a versatile string diagrammatic language which has been used to model both signal flow graphs (control theory) and Petri nets (concurrency theory).
| Type: | Article |
|---|---|
| Title: | Bialgebraic foundations for the operational semantics of string diagrams |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1016/j.ic.2021.104767 |
| Publisher version: | https://doi.org/10.1016/j.ic.2021.104767 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10132858 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
