Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

An Axiomatization of Lamport's Temporal Logic of Actions

Summary: An Axiomatization of
Lamport's Temporal Logic of Actions
Mart'in Abadi
October 12, 1990
revised March 4, 1993


A preliminary version of this report appeared in the proceedings of the
CONCUR '90 conference, held in Amsterdam, The Netherlands, in August
1990 [BK90].
flDigital Equipment Corporation 1990; revised 1993
This work may not be copied or reproduced in whole or in part for any com­
mercial purpose. Permission to copy in whole or in part without payment
of fee is granted for nonprofit educational and research purposes provided
that all such whole or partial copies include the following: a notice that
such copying is by permission of the Systems Research Center of Digital
Equipment Corporation in Palo Alto, California; an acknowledgment of the
authors and individual contributors to the work; and all applicable portions


Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz


Collections: Computer Technologies and Information Sciences