Ronit Lubitch;Shlomo Moran
-;-
Closed schedulers: a novel technique for analyzing asynchronous protocols
Distributed Computing