Publication:4448380
From MaRDI portal
zbMath1042.68101MaRDI QIDQ4448380
Publication date: 18 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2202/22020426.htm
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items
Variant Narrowing and Equational Unification, Modular rewritable Petri nets: an efficient model for dynamic distributed systems