Similar Items: Modelling Probabilistic Wireless Networks
- Equational Reasonings in Wireless Network Gossip Protocols
- Model Checking Probabilistic Pushdown Automata
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Modelling MAC-Layer Communications in Wireless Systems
- Model Checking Temporal Properties of Recursive Probabilistic Programs
- Probabilistic Algorithmic Knowledge