An Axiomatization of Lamport's Temporal Logic of Actions

Abstract

This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part without payment of fee is granted for nonproot 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… (More)
DOI: 10.1007/BFb0039051

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics