Publication:4699285

zbMath0941.68089MaRDI QIDQ4699285

Ugo Montanari, Gian-Luigi Ferrari

Publication date: 10 November 1999

zbMATH Keywords

tiles; rewrite rules

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Rewriting logic: Roadmap and bibliography, Tile formats for located and mobile systems.