scientific article
From MaRDI portal
Publication:2849872
zbMath1272.68186MaRDI QIDQ2849872
Einar Broch Johnsen, Eyvind W. Axelsen, Olaf Owe
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104053095
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) Grammars and rewriting systems (68Q42)
Related Items
Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ The rewriting logic semantics project ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Memory Representations in Rewriting Logic Semantics Definitions ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report
Uses Software
