Modal process rewrite systems

DOI10.1007/978-3-642-32943-2_9MaRDI QIDQ2915103zbMATH OpenOpenAlexFDO

Authors Nikola Beneš, Jan Křetínský

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On Modal Refinement and Consistency
• On Decidability of LTL Model Checking for Process Rewrite Systems
• On decidability of LTL model checking for process rewrite systems
• Process rewrite systems.
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Modal process rewrite systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915103)