A methodology for programming with concurrency
- 12 June 2007
- book chapter
- Published by Springer Nature
- p. 259-270
- https://doi.org/10.1007/bfb0105123
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- do considered od: A contribution to the programming calculusActa Informatica, 1979
- Principles of proving concurrent programs in GypsyPublished by Association for Computing Machinery (ACM) ,1979
- Communicating sequential processesCommunications of the ACM, 1978
- An exercise in proving parallel programs correctCommunications of the ACM, 1977
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Parallel programming: An axiomatic approachComputer Languages, 1975
- Some Deadlock Properties of Computer SystemsACM Computing Surveys, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Cooperating Sequential ProcessesPublished by Springer Nature ,1968