Pages that link to "Item:Q5941158"
From MaRDI portal
The following pages link to A coalgebraic presentation of structured transition systems (Q5941158):
Displaying 8 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- GETGRATS (Q4923529) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
