1. 3
    Construction and Formal Verification of Fault-Tolerant, Distributed, Mutual Exclusion (2017) pdf compsci distributed erlang formalmethods programming icfp17.sigplan.org
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments

  1.