Jump to Content

An Old-Fashined Recipe for Real-Time

Leslie Lamport
ACM Trans. Program. Lang. Syst., vol. 16 (1994), pp. 1543-1571

Abstract

Research Areas