Impartiality, justice and fairness: The ethics of concurrent termination
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 264-277
- https://doi.org/10.1007/3-540-10843-2_22
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- The Modal Logic of ProgramsPublished by Defense Technical Information Center (DTIC) ,1979
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- Verifying properties of parallel programsCommunications of the ACM, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967