Pages that link to "Item:Q2849998"
From MaRDI portal
The following pages link to Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata (Q2849998):
Displaying 3 items.
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Q4821979) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896952) (← links)