Pages that link to "Item:Q5262956"
From MaRDI portal
The following pages link to Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956):
Displaying 5 items.
- Real time process algebra (Q2640341) (← links)
- A real-time process algebra with open intervals and maximal progress (Q2765925) (← links)
- (Q4411089) (← links)
- Stochastic Model Checking of the Stochastic Quality Calculus (Q5256368) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)