The following pages link to (Q4256315):
Displaying 12 items.
- Category theory for operational semantics (Q703525) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)
- G-Reactive Systems as Coalgebras (Q2864375) (← links)
- A Coalgebraic Theory of Reactive Systems (Q2870200) (← links)
- GETGRATS (Q4923529) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
