Studying equivalences of transition systems with algebraic tools

DOI10.1016/0304-3975(94)00047-MMaRDI QIDQ673968zbMATH OpenFDO

Authors Pasquale Malacaria

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)00047-M

zbMATH Keywords

observational equivalence

Mathematics Subject Classification ID

Recommendations

• An algebraic characterization of transition system equivalences
• An algebraic characterization of observational equivalence
• Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
• Enhanced coalgebraic bisimulation

Cites work

• Algebraic laws for nondeterminism and concurrency
• An algebraic characterization of transition system equivalences
• Domain theory in logical form
• scientific article; zbMATH DE number 3859115 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 58314 (Why is no real title available?)
• scientific article; zbMATH DE number 3479108 (Why is no real title available?)
• scientific article; zbMATH DE number 517037 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3185026 (Why is no real title available?)
• Three logics for branching bisimulation
• Verification and comparison of transition systems

Cited in

(11)

• Extensional equivalences for transition systems
• An algebraic characterization of observational equivalence
• Towards a unified view of bisimulation: A comparative study
• An algebraic characterization of transition system equivalences
• General framework of structural similarity between system models
• Linking algebraic observational equivalence and bisimulation
• A semiring approach to equivalences, bisimulations and control
• scientific article; zbMATH DE number 1333608 (Why is no real title available?)
• Structured transition systems with parametric observations: observational congruences and minimal realizations
• scientific article; zbMATH DE number 2087444 (Why is no real title available?)
• scientific article; zbMATH DE number 2102737 (Why is no real title available?)

This page was built for publication: Studying equivalences of transition systems with algebraic tools

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673968)