1. Concepts and Notations for Concurrent Programming;Andrews;ACM Computing Surveys,1983
2. Ports — A Method for Dynamic Interprogram Communication and Job Control;Balzer,1971
3. A Model of CAD Transactions;Bancilhon,1985
4. A NonStop Kernel;Bartlett,1981
5. Grapevine: An Exercise in Distributed Computing;Birrell;Communications of the ACM,1982