scientific article; zbMATH DE number 1954392

MaRDI QIDQ4415263zbMATH OpenFDO

Authors Madhavan Mukund

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2556/25560289.htm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Publication:4941914
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1497782
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• scientific article; zbMATH DE number 7559463
• Minimal transition systems for history-preserving bisimulation
• A logic with reverse modalities for history-preserving bisimulations
• scientific article; zbMATH DE number 1500529
• scientific article; zbMATH DE number 1617304
• Deciding bisimulation and trace equivalences for systems with many identical processes

Cited in

(6)

• 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.
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• Minimal transition systems for history-preserving bisimulation
• CONCUR 2005 – Concurrency Theory

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