Observing a stateful system
Coalgebras describe observable transitions. Bisimulation asks when distinct states remain indistinguishable under observation.
The editorsThe research library
Research notes
Published contributions to higher structure and computational meaning. Each note states its review classification.