Publication:2754156
From MaRDI portal
zbMath0973.68162MaRDI QIDQ2754156
Philippe Schnoebelen, Denis Lugiez
Publication date: 11 November 2001
03B70: Logic in computer science
03D05: Automata and formal grammars in connection with logical questions
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B25: Decidability of theories and sets of sentences
Related Items
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems, The regular viewpoint on PA-processes