scientific article; zbMATH DE number 7649945
From MaRDI portal
Publication:5875399
DOI10.4230/LIPIcs.CONCUR.2019.37MaRDI QIDQ5875399
Fabio Zanasi, Paweł Sobociński, Robin Piedeleu, Filippo Bonchi
Publication date: 3 February 2023
Full work available at URL: https://arxiv.org/abs/1906.01519
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- Bialgebras for structural operational semantics: an introduction
- Transition system specifications with negative premises
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Calculi for synchrony and asynchrony
- Higher-level synchronising devices in Meije-SCCS
- Concurrent histories: a basis for observing distributed systems
- Statecharts: a visual formalism for complex systems
- A calculus of communicating systems
- Mobile ambients
- Bialgebraic foundations for the operational semantics of string diagrams
- The seal calculus
- Full Abstraction for Signal Flow Graphs
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
- A Survey of Graphical Languages for Monoidal Categories
- A Categorical Semantics of Signal Flow Graphs
- Interacting Quantum Observables
- Quantum and Classical Structures in Nondeterminstic Computation
- The Space and Motion of Communicating Agents
- Communicating sequential processes
- Bisimulation can't be traced
- A categorical approach to open and interconnected dynamical systems
- Rewriting modulo symmetric monoidal structure
- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
- On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
- Categories in Control
- Categorical algebra
- Presenting Distributive Laws
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
