Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding

DOI10.1007/978-3-642-16310-4_13zbMath1306.68124OpenAlexW1632696447WikidataQ57831227 ScholiaQ57831227MaRDI QIDQ4933286

Fernando Rosa-Velardo

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_13

Mathematics Subject Classification ID

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

Related Items (1)

Multiset rewriting for the verification of depth-bounded processes with name binding

This page was built for publication: Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding