NIL

Developed by:
Distributed Programming Environment IBM Hawthorne, USA Robert E. Strom and Shaula Yemini

Short Description:
NIL supports the construction of distributed software systems: 1. A process model in which no pointers or shared data are visible 2. Interprocess communication via synchronous and asynchronous message passing 3. Compile time typestate checking, guaranteeing module isolation and correct finalisation of data 4. Dynamic binding of statically typed ports under the control of capabilities

Model: kernelized/micro kernel
Properties: asynchronous message passing, synchronous message passing, channels
Transparency: access
Running on:
Date: 01.01.1983

References:
Robert E. Strom and Shaula Yemini: "NIL: An Integrated Language and System for Distributed Programming". ACM, Proceedings of the SIGPLAN '83 Symposium on Programming Issues in Software Systems, June 1983.

E. Strom: "Mechanism for Compile-Time Enforcement of Security", Tenth Symposium on Principles of Programming Languages, Austin, January 1983.

Developed by:
University of Texas, Austin, USA R. Bagrodia and K.M. Chandy

Short Description:
CMAY is a general purpose distributed programming language derived form FORTRAN. CMAY was designed by incorporating two basic notations Ð entities and messages in a sequential programming language. The implementation supports a library facility. CMAY prog rams may include routines and entities from the CMAY library. A versatile trace library is also provided. This facility may be used to trace messages exchanged between entities.

Model: mini-computer, homogeneous, loosely-coupled, kernelized/micro kernel
Properties: traditional hierarchical naming, asynchronous message passing
Transparency:
Running on: VAX 11/750, IBM PC
Date: 1984 Ð ?

References:
R. Bagrodia and K.M. Chandy: "A Micro-Kernel for Distributed Applications", IEEE CH2149Ð3/85, pp. 140Ð149, 1985.
J.A. Feldmann: "High Level Programming For Distributed Computing", Comm. ACM, Vol.22, No. 6 , June 1979, pp. 353Ð367.
G.R. Andrews: "Synchronizing Ressources", ACM Trans. Programming Language Systems, Vol. 3, No.4, Oct.1981, pp. 405Ð430.

R. Bagrodia, K.M. Chandy, and J. Mista: "A Message Based Approach to Discret Event Simulation", Report TR LCS - 8403, Dept. of Computer Sciense, University of Texas at Austin, May 1984.