Closed Schedulers: A Novel Technique for Analyzing Asynchronous Protocols

Ronit Lubitch, Shlomo Moran. Closed Schedulers: A Novel Technique for Analyzing Asynchronous Protocols. Distributed Computing, 8(4):203-210, 1995.

Abstract

Abstract is missing.