On simulating networks of parallel processes in which simultaneous events may occur

ABSTRACT

The following resolutions were passed at the ASA X3.4 Common Programming Languages Subcommittee during the thirty-third meeting held February 20, 1964 at CEIR, Beverly Hills, California.

REFERENCES

• 1: Introduction to general purpose systems simulator III. IBM Corp., White Plains, N.Y.
• 2: MARCOVITZ, A. M., HAUSER, B., AND KARR, H. W. SIM- SCRIPT-A Simulation Programming Language. Prentice Hall, Englewood Cliffs, N. J., 1963.
• 3a: KNUTH, D. E., AND MCNELY, J. L. SOL-A symbolic language for general purpose systems simulation. IEEE Trans. EC 13 (Aug. 1964).
• 3b: --. A formal definition of SOL. IEEE Trans. EC 13 (Aug. 1964).
• 4: Ole-Johan Dahl , Kristen Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, v.9 n.9, p.671-678, Sept. 1966 [doi>10.1145/365813.365819]
• 5: PARNAS, D., RICHARDSON, L. C., KOHL, W. H. Preliminary version-an introduction to Boole-66. Unpublished manual available from Computation Center, Carnegie-Mellon U., Pittsburgh, Penna.
• 6: E. G. Ulrich, Programming languages for non-numeric processing—2: Time sequenced logical simulation based on circuit delay and selective tracing of active network paths, Proceedings of the 1965 20th national conference, p.437-448, August 24-26, 1965, Cleveland, Ohio, United States [doi>10.1145/800197.806065]
• 7: Leon Shalla, Automatic analysis of electronic digital circuits using list processing, Communications of the ACM, v.9 n.5, p.372-380, May 1966 [doi>10.1145/355592.365651]
• 8: DAMMKOEHLER, R. A. A macro modular system simulator. Proc. AFIPS 1967 Spring Joint Comput. Conf., Vol. 30, Thompson Book Co., Washington, D. C., pp. 371-376.
• 9: PARNAS, D. L., AND DARRINGER, J. A. SODAS and a methodology for system design. Proc. AFIPS 1967 Fall Joint Comput. Conf., pp. 449-474.
• 10: Azriel Rosenfeld , John L. Pfaltz, Sequential Operations in Digital Picture Processing, Journal of the ACM (JACM), v.13 n.4, p.471-494, Oct. 1966 [doi>10.1145/321356.321357]
• 11: ZURCHER, F. W., AND RANDELL, B. Multi-level modelinga methodology for computer system design. Proc. IFIP Congress. 1968, North Holland Pub. Co., Amsterdam.
• 12: Norman R. Nielsen, The simulation of time sharing systems, Communications of the ACM, v.10 n.7, p.397-412, July 1967 [doi>10.1145/363427.363436]
• 13: --. An approach to the simulation of time sharing systems. Proc. AFIP Fall Joint Comput. Conf., Vol. 31, Thompson Book Co., Washington, D. C., pp. 419-428.
• 14: SCHERR, A. J. Analysis of Time Shared Compuler Systems, MIT Press, Cambridge, Mass., 1967.
• 15: David L. Parnas, A language for describing the functions of synchronous systems, Communications of the ACM, v.9 n.2, p.72-76, Feb. 1966 [doi>10.1145/365170.365176]
• 16: David L. Parnas, State table analysis of programs in an algo-like language, Proceedings of the 1966 21st national conference, p.391-400, January 1966 [doi>10.1145/800256.810719]
• 17: PARNAS, D. L. System function description-Algol. Tech. Rep. Computation Center, Carnegie-Mellon U., Pittsburg, Penna.
• 18: STRAUSS, J. C. Basic Hytran simulation language. Proc. AFIPS 1966. Fall Joint Comput. Conf., Vol. 29, Spartan Books, New York, pp. 603-611.
• 19: SLOTNICK, DANIEL. The Solomon computer. AFIPS 1962. Fall Joint Comput. Conf., Vol. 22, Spartan Books, New York, pp. 99-107.
• 20: FLOYD, R.W. Shortest path. Algorithm 97. Comm. ACM 5, 6 (June 1962), 345.
• 21: BUXTON (Ed.). Proceedings of the IFIP Working Conference on Simulation Languages. North-Holland Publ. Co., Amsterdam.

INDEX TERMS

Keywords:
computer system simulation, parallel processes, picture processing, simulation, simultaneous events