scientific article; zbMATH DE number 1497782

zbMATH Open0958.68101MaRDI QIDQ4499199FDOQ4499199

Authors: Sibylle Fröschle 

Publication date: 5 March 2001

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

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

zbMATH Keywords

decidabilityhistory-preserving bisimilaritybasic parallel processeshereditary history-preserving bisimilarity

Mathematics Subject Classification ID

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

Cited In (12)

• Title not available (Why is that?)
• The decidability border of hereditary history preserving bisimilarity
• Undecidability of domino games and hhp-bisimilarity.
• Decidability of performance equivalence for basic parallel processes
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)