scientific article
From MaRDI portal
Publication:2767190
zbMath0983.68519MaRDI QIDQ2767190
José Meseguer, Peter D. Mosses, Christiano de O. Braga, Edward Hermann Haeusler
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Rewriting logic: Roadmap and bibliography ⋮ Executable structural operational semantics in Maude ⋮ SOS formats and meta-theory: 20 years after ⋮ Two Decades of Maude ⋮ Weak Bisimulation as a Congruence in MSOS
Uses Software
This page was built for publication:
