Pages that link to "Item:Q2914677"
From MaRDI portal
The following pages link to Structural Operational Semantics for Continuous State Probabilistic Processes (Q2914677):
Displaying 6 items.
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- (Q4558787) (← links)
- Fundamental Approaches to Software Engineering (Q5428888) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)