LCS Publication Details
Publication Title: COMMUNICATION EFFECTS FOR MESSAGE-BASED CONCURRENCY
Publication Author: Jouvelot, Pierre
Additional Authors: Gifford, David K.
LCS Document Number: MIT-LCS-TM-386
Publication Date: 2-1-1989
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
We describe a new framework for explicit concurrency that uses an effect system to describe the communication behavior of expressions in a typed polymorphic language. Concurrency occurs between processes connected by channels on which messages are transmitted. Communication operations are characterized by two communication effect constructors, out and in, depending on whether a message has been sent or received.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.