scientific article

zbMath1271.68130MaRDI QIDQ2847814

Marco Kick, A. John Power

Publication date: 11 September 2013

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (6)

Bialgebras for structural operational semantics: an introduction ⋮ Modularity and Implementation of Mathematical Operational Semantics ⋮ Category theory for operational semantics ⋮ Coalgebraic semantics for timed processes ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Bialgebraic Methods in Structural Operational Semantics

This page was built for publication: