Leslie Lamport's properties and actions

PODC(2001), pp. 15

Abstract

Research Areas