Leslie Lamport's properties and actions

PODC (2001), pp. 15

Abstract