Modelling and verifying the AODV routing protocol.
- Published in:
- Distributed Computing, 2016, v. 29, n. 4, p. 279, doi. 10.1007/s00446-015-0262-7
- By:
- Publication type:
- Article
Works matching IS 01782770 AND DT 2016 AND VI 29 AND IP 4
Results: 3
1
2
Upper and lower bounds for deterministic broadcast in powerline communication networks.
- Published in:
- Distributed Computing, 2016, v. 29, n. 4, p. 239, doi. 10.1007/s00446-016-0263-1
- By:
- Publication type:
- Article
3
Universal constructions that ensure disjoint-access parallelism and wait-freedom.
- Published in:
- Distributed Computing, 2016, v. 29, n. 4, p. 251, doi. 10.1007/s00446-015-0261-8
- By:
- Publication type:
- Article