A weakest precondition semantics for communicating processes☆
Under an Elsevier user license
open archive
Keywords
Weakest precondition
semantics
communicating processes
distributed programming
nondeterminism
termination
deadlock
Cited by (0)
- ☆
A preliminary version of this paper was presented at the 5th International Conference on programming, Torino, April 1982. Another version appeared as Tech. Rept. No. 44, Department of Computer Science, Technion, May 1982.
- ∗∗
The work of this author was supported by NSF Grant MCS-80-17577 from Syracuse University
- ∗∗∗
World Trade Visiting Scientist; on sabbatical leave from Technion, Haifa, Israel. The work of this author was supported by a Grant from IBM-Israel.
Copyright © 1984 Published by Elsevier B.V.