scientific article
From MaRDI portal
Publication:2848127
zbMath1272.68308MaRDI QIDQ2848127
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002069
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
SOS formats and meta-theory: 20 years after ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Bialgebraic Methods in Structural Operational Semantics
This page was built for publication:
