Modal Process Rewrite Systems
From MaRDI portal
Publication:2915103
DOI10.1007/978-3-642-32943-2_9zbMath1362.68199OpenAlexW91512407MaRDI QIDQ2915103
Publication date: 21 September 2012
Published in: Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32943-2_9
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) 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: Modal Process Rewrite Systems