Correctness of parallel programs: The Church-Rosser approach
- 31 December 1976
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 2 (2), 183-207
- https://doi.org/10.1016/0304-3975(76)90032-3
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Analysis of structured programsJournal of Computer and System Sciences, 1974
- Initial algebra semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- On Proving Correctness of MicroprogramsIBM Journal of Research and Development, 1974
- On procedures as open subroutines. IIActa Informatica, 1974
- Mechanizable proofs about parallel processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1973
- Flow Graph ReducibilitySIAM Journal on Computing, 1972
- Parallel program schemataJournal of Computer and System Sciences, 1969
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Semantics of context-free languagesTheory of Computing Systems, 1968
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967