On the absence of livelocks in parallel programs
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 172-190
- https://doi.org/10.1007/bfb0022469
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Formal verification of parallel programsCommunications of the ACM, 1976
- Proving assertions about parallel programsJournal of Computer and System Sciences, 1975
- Parallel Program Schemata and Maximal Parallelism I. Fundamental ResultsJournal of the ACM, 1973
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971
- Hierarchical ordering of sequential processesActa Informatica, 1971
- Comments on prevention of system deadlocksCommunications of the ACM, 1971
- Parallel program schemataJournal of Computer and System Sciences, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- Additional comments on a problem in concurrent programming controlCommunications of the ACM, 1966
- Solution of a problem in concurrent programming controlCommunications of the ACM, 1965