Bialgebraic Methods in Structural Operational Semantics

DOI10.1016/j.entcs.2006.11.018zbMath1277.68122MaRDI 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

coalgebra; structural operational semantics; category theory; algebra; bialgebra

Mathematics Subject Classification ID

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