scientific article; zbMATH DE number 1497782

MaRDI QIDQ4499199zbMATH OpenFDO

Authors Sibylle Fröschle

Publication date 5 March 2001

zbMATH Keywords

basic parallel processesdecidabilityhereditary history-preserving bisimilarityhistory-preserving bisimilarity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• CONCUR 2005 – Concurrency Theory
• Hereditary history preserving bisimilarity is undecidable
• On plain and hereditary history-preserving bisimulation
• Hereditary history preserving bisimulation is decidable for trace-labelled systems
• Deciding history preserving bisimilarity

Cited in

(13)

• Undecidability of domino games and hhp-bisimilarity.
• A study on team bisimulation and H-team bisimulation for BPP nets
• Team bisimilarity, and its associated modal logic, for BPP nets
• Decidability of performance equivalence for basic parallel processes
• History preserving bisimulation for contextual nets
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• Deciding history preserving bisimilarity
• Hereditary history preserving bisimulation is decidable for trace-labelled systems
• Decidability of strong bisimilarity for timed BPP
• Hereditary history preserving bisimilarity is undecidable
• On plain and hereditary history-preserving bisimulation
• CONCUR 2005 – Concurrency Theory
• The decidability border of hereditary history preserving bisimilarity

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