scientific article; zbMATH DE number 1860681

zbMATH Open1049.68093MaRDI QIDQ4790409FDOQ4790409

Authors: Olaf Burkart, Javier Esparza 

Publication date: 2001

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1231559
• scientific article; zbMATH DE number 1064110
• Infinite results
• scientific article; zbMATH DE number 1944387
• scientific article; zbMATH DE number 2155191
• More infinity for a better finitism

zbMATH Keywords

concurrencyinfinite-state systems

Mathematics Subject Classification ID

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

Cited In (11)

• The regular viewpoint on PA-processes
• Decidability of weak bisimilarity for a subset of BPA
• Infinite results
• A decidability result for the model checking of infinite-state systems
• Title not available (Why is that?)
• Well-structured transition systems everywhere!
• Equivalence-checking with infinite-state systems: techniques and results
• Tableau methods for PA-processes
• Complete SAT-Based Model Checking for Context-Free Processes
• COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES
• On the complexity of the linear-time μ-calculus for Petri Nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4790409)