scientific article
From MaRDI portal
Publication:2754156
zbMath0973.68162MaRDI QIDQ2754156
Philippe Schnoebelen, Denis Lugiez
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)
Related Items (2)
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems ⋮ The regular viewpoint on PA-processes
This page was built for publication:
