scientific article
From MaRDI portal
Publication:3385646
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1908.11169
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- SOS formats and meta-theory: 20 years after
- On the construction of free algebras for equational systems
- A calculus of communicating systems
- Sheaves in geometry and logic: a first introduction to topos theory
- Structured operational semantics and bisimulation as a congruence
- Compositional SOS and beyond: A coalgebraic view of open systems
- A structural approach to operational semantics
- Comparing operational models of name-passing process calculi
- Categorical Homotopy Theory
- Bisimulation can't be traced
- Coinduction up-to in a fibrational setting
- Shapely monads and analytic functors
- Connected limits, familial representability and Artin glueing
- Basic Category Theory
This page was built for publication:
