scientific article; zbMATH DE number 1418328

zbMath0955.68075MaRDI QIDQ4941890

Peter D. Mosses

Publication date: 19 March 2000

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

zbMATH Keywords

labeled transition system

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Executable structural operational semantics in Maude ⋮ A format for semantic equivalence comparison ⋮ Structural Operational Semantics for Weighted Transition Systems ⋮ The rewriting logic semantics project ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ Formalizing non-interference for a simple bytecode language in Coq ⋮ Implicit Propagation in Structural Operational Semantics ⋮ Dynamic structural operational semantics

This page was built for publication: