scientific article; zbMATH DE number 2104617

zbMath1083.68066MaRDI QIDQ4818727

Peter D. Mosses

Publication date: 1 October 2004

Full work available at URL: http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=17

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

zbMATH Keywords

modularitySOSnatural semanticsStructural operational semanticsMSOS

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Mobile Processes and Termination ⋮ SOS formats and meta-theory: 20 years after ⋮ Structural operational semantics through context-dependent behaviour ⋮ An operational semantics for object-oriented concepts based on the class hierarchy