Pages that link to "Item:Q2703726"
From MaRDI portal
The following pages link to Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time (Q2703726):
Displaying 14 items.
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- Quantitative information in the tuple space coordination model (Q2576948) (← links)
- Expressing priorities and external probabilities in process algebra via mixed open/closed systems (Q2864370) (← links)
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time (Q2870192) (← links)
- On the Semantics of Markov Automata (Q3012929) (← links)
- YMCA (Q5262955) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- (Q5856402) (← links)
- Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time'' (Q5941736) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)
- Extended Markovian Process Algebra (Q6104380) (← links)