Pages that link to "Item:Q674193"
From MaRDI portal
The following pages link to Probabilistic and prioritized models of timed CSP (Q674193):
Displaying 20 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Probabilistic communicating processes (Q672230) (← links)
- Probabilistic and prioritized models of timed CSP (Q674193) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- A timed model for communicating sequential processes (Q1109561) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- The timed failures -- Stability model for CSP (Q1274446) (← links)
- Processes with probabilities, priority and time (Q1343865) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- An operational semantics for timed CSP (Q1891147) (← links)
- The expressiveness of CSP with priority (Q2520703) (← links)
- Slow Abstraction via Priority (Q2842644) (← links)
- On timed models and full abstraction (Q2852365) (← links)
- Remarks on testing probabilistic processes (Q2864156) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Coordination Models and Languages (Q5717720) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)
- On the use of model and logical embeddings for model checking of probabilistic systems (Q6535466) (← links)
