Pages that link to "Item:Q2575855"
From MaRDI portal
The following pages link to A theory of stochastic systems. II: Process algebra (Q2575855):
Displaying 9 items.
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- Simulation of generalised semi-Markov processes based on graph transformation systems (Q2867890) (← links)
- Bisimulations for non-deterministic labelled Markov processes (Q3225737) (← links)
- (Q4737551) (← links)
- SPADES - a process algebra for discrete event simulation (Q4952025) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← links)