Studying equivalences of transition systems with algebraic tools

DOI10.1016/0304-3975(94)00047-MzbMATH Open0874.68302MaRDI QIDQ673968FDOQ673968

Authors: Pasquale Malacaria 

Publication date: 28 February 1997

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

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

zbMATH Keywords

observational equivalence

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Domain theory in logical form
• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Three logics for branching bisimulation
• Title not available (Why is that?)
• Title not available (Why is that?)
• An algebraic characterization of transition system equivalences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification and comparison of transition systems

Cited In (9)

• Title not available (Why is that?)
• Extensional equivalences for transition systems
• An algebraic characterization of transition system equivalences
• Title not available (Why is that?)
• A semiring approach to equivalences, bisimulations and control
• Linking algebraic observational equivalence and bisimulation
• Towards a unified view of bisimulation: A comparative study
• An algebraic characterization of observational equivalence
• Title not available (Why is that?)

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)