scientific article; zbMATH DE number 1232243

MaRDI QIDQ4223069zbMATH OpenFDO

Authors Petr Jančar, Antonin Kučera

Publication date 3 January 1999

zbMATH Keywords

bisimilarityPA processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Deciding bisimulation-like equivalences with finite-state processes
• Decidability of bisimilarity for one-counter processes.
• Deciding probabilistic bisimilarity over infinite-state probabilistic systems
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 1948498

Cited in

(7)

• A complete normal-form bisimilarity for state
• scientific article; zbMATH DE number 177261 (Why is no real title available?)
• scientific article; zbMATH DE number 1361117 (Why is no real title available?)
• scientific article; zbMATH DE number 1927587 (Why is no real title available?)
• scientific article; zbMATH DE number 2102770 (Why is no real title available?)
• Deciding bisimilarity between BPA and BPP processes.
• Deciding bisimulation-like equivalences with finite-state processes

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 Q4223069)