scientific article; zbMATH DE number 1497782

MaRDI QIDQ4499199zbMATH OpenFDO

Authors Sibylle Fröschle

Publication date 5 March 2001

zbMATH Keywords

decidabilityhistory-preserving bisimilaritybasic parallel processeshereditary history-preserving bisimilarity

Mathematics Subject Classification ID

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

Recommendations

• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1500529
• Publication:4941914
• scientific article; zbMATH DE number 1954392
• scientific article; zbMATH DE number 176758

Cited in

(12)

• The decidability border of hereditary history preserving bisimilarity
• scientific article; zbMATH DE number 1418351 (Why is no real title available?)
• Undecidability of domino games and hhp-bisimilarity.
• Decidability of performance equivalence for basic parallel processes
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• scientific article; zbMATH DE number 1617304 (Why is no real title available?)
• A study on team bisimulation and H-team bisimulation for BPP nets
• CONCUR 2005 – Concurrency Theory
• Team bisimilarity, and its associated modal logic, for BPP nets
• scientific article; zbMATH DE number 1927586 (Why is no real title available?)
• scientific article; zbMATH DE number 176758 (Why is no real title available?)
• scientific article; zbMATH DE number 1954392 (Why is no real title available?)

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)