Bialgebraic Methods in Structural Operational Semantics
From MaRDI portal
Publication:2866314
DOI10.1016/j.entcs.2006.11.018zbMath1277.68122MaRDI QIDQ2866314
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.11.018
03B45: Modal logic (including the logic of norms)
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
03G30: Categorical logic, topoi
Related Items
Lax Liftings and Lax Distributive Laws, Structural congruence for bialgebraic semantics, Bi-inductive structural semantics, Bi-inductive Structural Semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new approach to abstract syntax with variable binding
- Category theory for operational semantics
- Universal coalgebra: A theory of systems
- Locating reaction with 2-categories
- The origins of structural operational semantics
- Modular structural operational semantics
- Adding recursive constructs to bialgebraic semantics
- A structural approach to operational semantics
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
- Distributive laws for the coinductive solution of recursive equations
- Coalgebraic semantics for timed processes
- Rule Formats for Timed Processes
- GSOS for probabilistic transition systems
- Well-behaved Translations between Structural Operational Semantics
- Testing Semantics: Connecting Processes and Process Logics
- Bisimulation can't be traced
- CONCUR 2004 - Concurrency Theory
- Foundations of Software Science and Computational Structures
- CONCUR 2003 - Concurrency Theory
- Fundamentals of Computation Theory