Publication:4222871
From MaRDI portal
zbMath0911.68105MaRDI QIDQ4222871
Olaf Burkart, Yves-Marie Quemener
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#olaf
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q42: Grammars and rewriting systems
Related Items
Model checking the full modal mu-calculus for infinite sequential processes, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, Model checking the full modal mu-calculus for infinite sequential processes, Formal Verification of Object-Oriented Graph Grammars Specifications, An Automata-Theoretic Approach to Infinite-State Systems