A methodology for programming with concurrency: the formalism
- 31 October 1982
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 2 (1) , 19-52
- https://doi.org/10.1016/0167-6423(82)90003-x
Abstract
No abstract availableKeywords
This publication has 17 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
- Abstract data types and software validationCommunications of the ACM, 1978
- On-the-fly garbage collectionCommunications of the ACM, 1978
- Some Properties of Predicate TransformersJournal of the ACM, 1978
- The Multiple Assignment StatementIEEE Transactions on Software Engineering, 1978
- An exercise in proving parallel programs correctCommunications of the ACM, 1977
- Observations of Fallibility in Applications of Modern Programming MethodologiesIEEE Transactions on Software Engineering, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Parallel programming: An axiomatic approachComputer Languages, 1975