Temporal Logic Specification of Distributed Systems.

Richard L. Schwartz, P. M. Melliar-Smith

Browse the full ICDCS paper archive.