Studying equivalences of transition systems with algebraic tools
From MaRDI portal
Publication:673968
DOI10.1016/0304-3975(94)00047-MzbMath0874.68302MaRDI QIDQ673968
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Cites Work
- Domain theory in logical form
- An algebraic characterization of transition system equivalences
- Algebraic laws for nondeterminism and concurrency
- Three logics for branching bisimulation
- Verification and comparison of transition systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Studying equivalences of transition systems with algebraic tools
