Language features for description of cooperating processes

Authors:
J. P. Banatre;M. Banatre
Affiliations:
-;-
Venue:
ICSE '79 Proceedings of the 4th international conference on Software engineering
Year:
1979

Citing 3
Cited 1

Communicating sequential processes

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
The specification of process synchronization by path expressions

Operating Systems, Proceedings of an International Symposium

The design and building of Enchère, a distributed electronic marketing system

Communications of the ACM

Quantified Score

Hi-index	0.02

Visualization

Abstract

Language features are introduced in order to describe communicating processes. These constructs allow a clear separation of the definition of processes from that of their cooperations rules. Elements of a language for the description of communications are presented and discussed.