The complexity of verifying population protocols.
- Published in:
- Distributed Computing, 2021, v. 34, n. 2, p. 133, doi. 10.1007/s00446-021-00390-x
- By:
- Publication type:
- Article
Works matching IS 01782770 AND DT 2021 AND VI 34 AND IP 2
Results: 3
1
2
Redundancy in distributed proofs.
- Published in:
- Distributed Computing, 2021, v. 34, n. 2, p. 113, doi. 10.1007/s00446-020-00386-z
- By:
- Publication type:
- Article
3
Time-space trade-offs in population protocols for the majority problem.
- Published in:
- Distributed Computing, 2021, v. 34, n. 2, p. 91, doi. 10.1007/s00446-020-00385-0
- By:
- Publication type:
- Article