Extending PlusCal for Modeling Distributed Algorithms.

Horatiu Cirstea, Stephan Merz

Browse the full IFM paper archive.