zbMATH — the first resource for mathematics

Proving assertions about parallel programs. (English) Zbl 0299.68013

68N01 General topics in the theory of software
Full Text: DOI
[1] Ashcroft, E.A.; Manna, Z., (), 17-41
[2] Floyd, R.W., Assigning meaning to programs, () · Zbl 0189.50204
[3] Hansen, P.B., A comparison of two synchronizing concepts, Acta informatica, 1, 190-199, (1972) · Zbl 0226.68027
[4] Karp, R.; Miller, R., Parallel program schemata, J. comput. system sci., 3, 147-195, (1969) · Zbl 0198.32603
[5] Levitt, K.N., The application of program-proving techniques to the verification of synchronization processes, (), 33-47
[6] Manna, Z., The correctness of programs, J. comput. system sci., 3, 119-127, (1969) · Zbl 0285.68011
[7] Manna, Z.; Pnueli, A., Formalization of properties of functional programs, J. assoc. comput. Mach, 17, 555-569, (1970) · Zbl 0206.17503
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.