scientific article
From MaRDI portal
Publication:2767188
zbMath0983.68134MaRDI QIDQ2767188
Publication date: 28 January 2002
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)
Related Items
Rewriting logic: Roadmap and bibliography ⋮ Maude: specification and programming in rewriting logic ⋮ Actor theories in rewriting logic
Uses Software
This page was built for publication:
