Livelocks in parallel programs
From MaRDI portal
Publication:5904921
DOI10.1080/00207168108803275zbMath0472.68009OpenAlexW2064074534WikidataQ126245983 ScholiaQ126245983MaRDI QIDQ5904921
Publication date: 1981
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207168108803275
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Cites Work
- Proving assertions about parallel programs
- Formal derivation of strongly correct concurrent programs
- Parallel program schemata
- Formal verification of parallel programs
- Proving the Correctness of Multiprocess Programs
- Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
- Comments on prevention of system deadlocks