The following pages link to (Q4861733):
Displaying 12 items.
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (Q1271643) (← links)
- The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- An algorithmic analysis of simulation strategies (Q2855324) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Exact, analytic, and locally approximate solutions to discrete event-simulation problems (Q4244540) (← links)
- Getting Demos models right. (I). Practice (Q4787128) (← links)
- SPADES - a process algebra for discrete event simulation (Q4952025) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)