scientific article; zbMATH DE number 1860681

zbMath1049.68093MaRDI QIDQ4790409

Olaf Burkart, Javier Esparza

Publication date: 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrencyinfinite-state systems

Mathematics Subject Classification ID

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

Related Items (6)

Complete SAT-Based Model Checking for Context-Free Processes ⋮ Tableau methods for PA-processes ⋮ COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES ⋮ Decidability of Weak Bisimilarity for a Subset of BPA ⋮ Well-structured transition systems everywhere! ⋮ The regular viewpoint on PA-processes

This page was built for publication: