Bialgebraic foundations for the operational semantics of string diagrams
- 1 December 2021
- journal article
- research article
- Published by Elsevier in Information and Computation
- Vol. 281, 104767
Abstract
No abstract availableKeywords
Funding Information
- European Science Foundation (2014-2020.4.05.19-0001)
- Eesti Teadusagentuur (PRG1210)
- Engineering and Physical Sciences Research Council (EP/R020604/1)
This publication has 17 references indexed in Scilit:
- Bialgebras for structural operational semantics: An introductionTheoretical Computer Science, 2011
- Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With MobilityElectronic Notes in Theoretical Computer Science, 2006
- Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonadsElectronic Notes in Theoretical Computer Science, 2000
- Terminal sequences for accessible endofunctorsElectronic Notes in Theoretical Computer Science, 1999
- Bisimulation can't be tracedJournal of the ACM, 1995
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- A model for distributed systems based on graph rewritingJournal of the ACM, 1987
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Communicating sequential processesCommunications of the ACM, 1978
- Categorical algebraBulletin of the American Mathematical Society, 1965