Technical Report CS0645

TR#:CS0645
Class:CS
Title: LANGUAGE CONSTRUCTS FOR DISTRIBUTED SYSTEMS
Authors: S. Katz, I. Forman, M. Evangelist
PDFCS0645.pdf
Abstract: Three language constructs appropriate for the design and programming of distributed systems are described. The team abstracts repeated interprocess activities and isolates processes to the context where they are needed. The interaction provides multiparty synchronization and communication. The superimposition defines modules that augment existing teams. Partial correctness proof rules and criteria for correctness-preserving transformations are given. These allow replacing one construct by others during design in order to reduce synchronization and extraneous communication.
CopyrightThe above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/1990/CS/CS0645), rather than to the URL of the PDF files directly. The latter URLs may change without notice.

To the list of the CS technical reports of 1990
To the main CS technical reports page

Computer science department, Technion
admin