Distributed Computer Systems: Structure and Semantics

Abstract

This report describes an ongoing project in the area of design of distributed systems. The goal is to develop an effective programming system that will support well-structured design implementation, maintenance and control of distributed processing applications.