Pages that link to "Item:Q5941158"
From MaRDI portal
The following pages link to A coalgebraic presentation of structured transition systems (Q5941158):
Displaying 17 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)
- Abstractions for transition systems with applications to stubborn sets (Q1708713) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- How to Kill Epsilons with a Dagger (Q2942775) (← links)
- (Q3023880) (← links)
- (Q4637688) (← links)
- (Q4738239) (← links)
- GETGRATS (Q4923529) (← links)
- (Q5155688) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (Q5929740) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)