CL85] [CM81] [CM86] [DHS86] [DM90] [DRS90] [EC82] [FH88 (1985)

by K M Chandy, L Lamport
Venue:ACM Trans. on Computer Systems