Pages that link to "Item:Q1607111"
From MaRDI portal
The following pages link to A process algebra for probabilistic and nondeterministic processes (Q1607111):
Displaying 12 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Generating the syntactic and semantics graphs for a Markovian process algebra (Q879408) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- Process algebra having inherent choice: revised semantics for concurrent systems (Q2871829) (← links)
- (Q4411089) (← links)
- (Q4798042) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900566) (← links)
- Symbolic approaches to probability distributions in process algebra (Q5944220) (← links)
- Underspecification for a simple process algebra of recursive processes. (Q5958781) (← links)