Results: 3

  • 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:
    • Esparza, Javier;
    • Jaax, Stefan;
    • Raskin, Mikhail;
    • Weil-Kennedy, Chana
    Publication type:
    Article

  • Redundancy in distributed proofs.

    Published in:
    Distributed Computing, 2021, v. 34, n. 2, p. 113, doi. 10.1007/s00446-020-00386-z
    By:
    • Feuilloley, Laurent;
    • Fraigniaud, Pierre;
    • Hirvonen, Juho;
    • Paz, Ami;
    • Perry, Mor
    Publication type:
    Article

  • 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:
    • Berenbrink, Petra;
    • Elsässer, Robert;
    • Friedetzky, Tom;
    • Kaaser, Dominik;
    • Kling, Peter;
    • Radzik, Tomasz
    Publication type:
    Article