Similar Items: Labelled transition systems as a Stone space
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
- Small Stone in Pool
- Stone-Type Dualities for Separation Logics
- Extended Stone Duality via Monoidal Adjunctions
- Well Behaved Transition Systems