The Spectrum Simulation System: A Formal Approach to Distributed Algorithm Development Tools
Kenneth J. Goldman · Open Scholarship Institutional Repository (Washington University in St. Louis) · 1991
Introduction to Occam Programming. INMOS, Limited, March 1986. [31] Gruia-Catalin Roman and Kenneth C. Cox. A declarative approach to visualizing concurrent computations. IEEE Computer, 22(10):25--36, October 1989. [32] Robert W. Scheifler and Jim Gettys. The X window system. Technical Report MIT/LCS/TR368, MIT Laboratory for Computer Science, October 1986. [33] Jennifer Welch, Leslie Lamport, and Nancy Lynch. A lattice-structured proof of a minimum spanning tree algorithm. In Proceedings of the 7th ACM SIGACT--SIGOPS Symposium on Principles of Distributed Computing, pages 28--43, August 1988. [34] Jennifer L. Welch and Nancy A. Lynch. Synthesis of efficient drinking philosophers algorithms. Technical Report MIT/LCS/TM-417, MIT Laboratory for Computer Science, November 1989. Submitted for publication. [35] Bernard P. Zeigler. Hierarchical, modular discrete-event modelling in an object-oriented environment. Simulation, 49(5):219--