scientific article; zbMATH DE number 1479627
From MaRDI portal
zbMath0942.68619MaRDI QIDQ4490741
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)
Related Items
A general conservative extension theorem in process algebras with inequalities, Generating priority rewrite systems for OSOS process languages