A weakest precondition semantics for communicating processes

Authors:
Tzilla Elrad;Nissim Francez
Affiliations:
Illinois Institute of Technology, Chicago;T. J. Watson Research Center, Yorktown Heights, NY
Venue:
Theoretical Computer Science
Year:
1984

Citing 0
Cited 3

Symmetric intertask communication

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Generalized Message-Passing Mechanism for Communicating Sequential Processes

IEEE Transactions on Computers
Distributed Computing with Single Read-Single Write Variables

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	5.23

Visualization

Abstract