scientific article
From MaRDI portal
Publication:2852093
zbMath1273.68206MaRDI QIDQ2852093
No author found.
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002155
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Structural Operational Semantics and Modal Logic, Revisited ⋮ Compositional equivalences based on open pNets ⋮ Structural operational semantics through context-dependent behaviour ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Bialgebraic Methods in Structural Operational Semantics ⋮ On Well-Foundedness and Expressiveness of Promoted Tyft
This page was built for publication:
