scientific article; zbMATH DE number 1231599

zbMath0911.68093MaRDI QIDQ4222920

Richard Mayr

Publication date: 21 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#mayr

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

zbMATH Keywords

concurrent systemsrewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Rewrite Systems with Constraints ⋮ Decidability of model checking with the temporal logic EF ⋮ Process rewrite systems.