An axiomatization of Lamport's temporal logic of actions
- 16 June 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A simple approach to specifying concurrent systemsCommunications of the ACM, 1989
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976