Pages that link to "Item:Q2870200"
From MaRDI portal
The following pages link to A coalgebraic theory of reactive systems (Q2870200):
Displaying 12 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Bigraphs with sharing (Q2339468) (← links)
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras (Q2848943) (← links)
- G-reactive systems as coalgebras (Q2864375) (← links)
- A coalgebraic theory of reactive systems (Q2870200) (← links)
- (Q3023880) (← links)
- (Q4637688) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- A Compositional Semantics of Reaction Systems with Restriction (Q5326381) (← links)
- Theoretical Computer Science (Q5897366) (← links)