Pages that link to "Item:Q4952025"
From MaRDI portal
The following pages link to SPADES - a process algebra for discrete event simulation (Q4952025):
Displaying 5 items.
- SPADES (Q14749) (← links)
- Turning back time in Markovian process algebra. (Q1401206) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- Getting Demos models right. (I). Practice (Q4787128) (← links)