Pages that link to "Item:Q843097"
From MaRDI portal
The following pages link to Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097):
Displaying 13 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- What is a free name in a process algebra? (Q2379969) (← links)
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras (Q2848943) (← links)
- G-reactive systems as coalgebras (Q2864375) (← links)
- Active evaluation contexts for reaction semantics (Q2866316) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)