Pages that link to "Item:Q2937731"
From MaRDI portal
The following pages link to A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731):
Displaying 6 items.
- (Q3740249) (← links)
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems (Q4352532) (← links)
- (Q5014799) (← links)
- Stochastic Semantics of Signaling as a Composition of Agent-view Automata (Q5166629) (← links)
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems (Q5458058) (← links)
- Foundations of Software Science and Computational Structures (Q5705913) (← links)