SRC Research Report 57

(THIS REPORT HAS BEEN SUPERSEDED BY REPORT #79.)

A Temporal Logic of Actions Leslie Lamport

April 1, 1990. 36 pages

Back to the SRC Research Reports main page.