Pages that link to "Item:Q3525649"
From MaRDI portal
The following pages link to Coalgebraic Models for Reactive Systems (Q3525649):
Displayed 7 items.
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)