Modelling and Analysis of Distributed Software Systems.

B. Kumar, Timothy A. Gonsalves

Browse the full SOSP paper archive.