Saturated LTSs for Adhesive Rewriting Systems

DOI10.1007/978-3-642-15928-2_9zbMath1306.68064OpenAlexW1584831212MaRDI QIDQ4931308

Filippo Bonchi, Giacoma Valentina Monreale, Ugo Montanari, Fabio Gadducci

Publication date: 4 October 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15928-2_9

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

This page was built for publication: Saturated LTSs for Adhesive Rewriting Systems