An Extension of PlusCal for Modeling Distributed Algorithms - Heba Alkayed et al.
Channel: Markus Kuppe
Date: 2020-10-01

https://conf.tlapl.us/2020/03-Heba_AlKayed-An_Extension_of_PlusCal_for_Modeling_Distributed_Algorithms.pdf