Pages that link to "Item:Q2341700"
From MaRDI portal
The following pages link to Structural operational semantics for continuous state stochastic transition systems (Q2341700):
Displaying 5 items.
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- (Q4558787) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
