The regular viewpoint on PA-processes

DOI10.1016/S0304-3975(00)00306-6zbMath0992.68150OpenAlexW2720631021MaRDI QIDQ5958465

Denis Lugiez, Philippe Schnoebelen

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00306-6

zbMATH Keywords

process algebratree automataverification of infinite-state systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Precise interprocedural dependence analysis of parallel programs ⋮ Normalization of Linear Horn Clauses ⋮ A general approach to comparing infinite-state systems with their finite-state specifications ⋮ PDL with intersection and converse: satisfiability and infinite-state model checking ⋮ Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems ⋮ Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems ⋮ Decidable first-order transition logics for PA-processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the regular structure of prefix rewriting
• Rational tree relations
• Process Algebra
• Tableau methods for PA-processes
• Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
• Regular canonical systems
• An automata-theoretic approach to branching-time model checking
• Deciding bisimulation-like equivalences with finite-state processes
• Reachability analysis of pushdown automata: Application to model-checking
• How to Parallelize sequential processes
• Model checking PA-processes
• Infinite results

This page was built for publication: The regular viewpoint on PA-processes