Bialgebraic Methods in Structural Operational Semantics

DOI10.1016/j.entcs.2006.11.018zbMath1277.68122OpenAlexW1990952550MaRDI QIDQ2866314

Bartek Klin

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

zbMATH Keywords

coalgebrastructural operational semanticscategory theoryalgebrabialgebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items

Structural congruence for bialgebraic semantics, Lax Liftings and Lax Distributive Laws, 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