Pages that link to "Item:Q5896952"
From MaRDI portal
The following pages link to Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896952):
Displaying 5 items.
- Probabilistic verification of hierarchical leader election protocol in dynamic systems (Q1713851) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols (Q2810974) (← links)
- Distribution, approximation and probabilistic model checking (Q2848656) (← links)
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Q4821979) (← links)