The temporal semantics of concurrent programs
- 23 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A proof method for cyclic programsActa Informatica, 1978
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- LAR: A logic of algorithmic reasoningActa Informatica, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- Verifying properties of parallel programsCommunications of the ACM, 1976
- A comparison of two synchronizing conceptsActa Informatica, 1972
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- Past, Present and FuturePublished by Oxford University Press (OUP) ,1967
- An algebraic study of Diodorean modal systemsThe Journal of Symbolic Logic, 1965
- Modal Logics Between S 4 and S 5Mathematical Logic Quarterly, 1959