The temporal semantics of concurrent programs
- 1 January 1981
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 13 (1) , 45-60
- https://doi.org/10.1016/0304-3975(81)90110-9
Abstract
No abstract availableKeywords
This publication has 10 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
- Proving assertions about parallel programsJournal of Computer and System Sciences, 1975
- A comparison of two synchronizing conceptsActa Informatica, 1972
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- An algebraic study of Diodorean modal systemsThe Journal of Symbolic Logic, 1965
- Modal Logics Between S 4 and S 5Mathematical Logic Quarterly, 1959