Modularity of behaviours for mathematical operational semantics

MaRDI QIDQ2847814zbMATH OpenFDO

Authors Marco Kick, John Power

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051758

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Modularity and implementation of mathematical operational semantics
• Category theory for operational semantics
• Coalgebraic semantics for timed processes
• Towards a theory of mathematical operational semantics
• Distributive laws for monotone specifications

Cited in

(9)

• Bialgebraic methods and modal logic in structural operational semantics
• Coalgebraic semantics for timed processes
• Towards a theory of mathematical operational semantics
• Bialgebraic methods in structural operational semantics (invited talk)
• scientific article; zbMATH DE number 7599983 (Why is no real title available?)
• Modularity and implementation of mathematical operational semantics
• Towards Effects in Mathematical Operational Semantics
• Bialgebras for structural operational semantics: an introduction
• Category theory for operational semantics

This page was built for publication: Modularity of behaviours for mathematical operational semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847814)