Category theory for operational semantics
From MaRDI portal
Publication:703525
DOI10.1016/j.tcs.2004.07.024zbMath1071.68059OpenAlexW2026552167MaRDI QIDQ703525
Hiroshi Watanabe, Marina Lenisa, A. John Power
Publication date: 11 January 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.07.024
Related Items (14)
Rational operational models ⋮ Unnamed Item ⋮ Structural Operational Semantics for Weighted Transition Systems ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Structural congruence for bialgebraic semantics ⋮ A presheaf environment for the explicit fusion calculus ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Companions, Codensity and Causality ⋮ Pointwise extensions of GSOS-defined operations ⋮ Coalgebraic semantics for timed processes ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Bialgebraic Methods in Structural Operational Semantics ⋮ Abstract Syntax: Substitution and Binders
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the greatest fixed point of a set functor
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- A calculus of communicating systems
- Combining a monad and a comonad
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
- Combining effects: sum and tensor
- GSOS for probabilistic transition systems
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Process Algebra
- Bisimulation can't be traced
- On the structure of categories of coalgebras
This page was built for publication: Category theory for operational semantics
