Applying Prophecy variables in TLA+ to the Herlihy & Wing paper
Primary LanguageTLAApache License 2.0Apache-2.0