scientific article
From MaRDI portal
Publication:2847415
zbMath1271.68121MaRDI QIDQ2847415
Jan Strejček, Vojtěch Řehák, Mojmír Křetínský
Publication date: 9 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610405056X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (4)
On Decidability of LTL+Past Model Checking for Process Rewrite Systems ⋮ On decidability of LTL model checking for process rewrite systems ⋮ Reachability is decidable for weakly extended process rewrite systems ⋮ On Symbolic Verification of Weakly Extended PAD
This page was built for publication:
