Distributed processes

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Distributed processes: a concurrent programming concept

Full text

Pdf (798 KB)

Source

Communications of the ACM archive
Volume 21 , Issue 11 (November 1978) table of contents

Pages: 934 - 941

Year of Publication: 1978

ISSN:0001-0782

Author

Per Brinch Hansen

Univ. of Southern California, Los Angeles

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 60, Citation Count: 115

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/359642.359651 What is a DOI?

ABSTRACT

A language concept for concurrent processes without common variables is introduced. These processes communicate and synchronize by means of procedure calls and guarded regions. This concept is proposed for real-time applications controlled by microcomputer networks with distributed storage. The paper gives several examples of distributed processes and shows that they include procedures, coroutines, classes, monitors, processes, semaphores, buffers, path expressions, and input/output as special cases.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Brinch Hansen, P. The programming language Concurrent Pascal. IEEE Trans. Software Eng. 1, 2 (June 1975), 199-207.
	2	Per Brinch Hansen, The Architecture of Concurrent Programs, Prentice Hall PTR, Upper Saddle River, NJ, 1977
	3	Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
	4	Brinch Hansen, P., and Staunstrup, J. Specification and implementation of mutual exclusion. Comptr. Sci. Dept., U. of Southern California, Los Angeles, Sept. 1977.
	5	Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
	6	Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975 [doi>10.1145/360933.360975]
	7	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	8	Hoare, C.A.R. Towards a theory of parallel programming. In Operating Systems Techniques, Academic Press, New York, 1972.
	9	Hoare, C.A.R. Communicating sequential processes. Comptr. Sci. Dept., Queen's U., Belfast, N. Ireland, March 1977.
	10	Wirth, N. Modula: A programming language for modular multiprogramming. Software--Practice & Experience 7, 1 (Jan. 1977), 3-35.

CITED BY 115

	C.-D. Jung , E. Siberrt, Polling in concurrent programming, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.204-209, February 21-23, 1989, Louisville, Kentucky
	Robin Milner, Flowgraphs and Flow Algebras, Journal of the ACM (JACM), v.26 n.4, p.794-818, Oct. 1979
	Jan van den Bos , R. Plasmeijer , Jan W. M. Stroet, Process Communication Based on Input Specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.224-250, July 1981
	Daniel Lehmann , Michael O. Rabin, On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-138, January 26-28, 1981, Williamsburg, Virginia
	Robert D. Dixon , David Hemmendinger, Analyzing synchronization problems by using event histories as languages, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.183-188, February 1986, Cincinnati, Ohio, United States
	Barbara Liskov, Primitives for distributed computing, Proceedings of the seventh ACM symposium on Operating systems principles, p.33-42, December 10-12, 1979, Pacific Grove, California, United States
	Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983
	Jonathan Kepecs , Marvin Solomon, SODA: A simplified operating system for distributed applications, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.208-219, August 27-29, 1984, Vancouver, British Columbia, Canada
	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
	Jonathan Kepecs , Marvin Solomon, SODA: a simplified operating system for distributed applications, ACM SIGOPS Operating Systems Review, v.19 n.4, p.45-56, October 1985
	Chyuan Samuel Hsieh , Elizabeth A. Unger, Resource scheduling: specification and proof techniques, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.429-437, February 1988, Atlanta, Georgia, United States
	Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.9, p.76-87, September 1982
	Arthur Charlesworth, The multiway rendezvous, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.350-366, July 1987
	Douglas Long , Lori A. Clarke, Data flow analysis of concurrent systems that use the rendezvous model of synchronization, Proceedings of the symposium on Testing, analysis, and verification, p.21-35, October 08-10, 1991, Victoria, British Columbia, Canada
	Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981
	Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988
	A. J. Catto , J. R. Gurd, Resource management in dataflow, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.77-84, October 18-22, 1981, Portsmouth, New Hampshire, United States
	W. K. Giloi , P. Behr, An IPC protocol and its hardware realization for a high-speed distributed multicomputer system, Proceedings of the 8th annual symposium on Computer Architecture, p.481-493, May 12-14, 1981, Minneapolis, Minnesota, United States
	Edward E. Balkovich , John A. Morse, Performance of distributed software implemented by a contention bus, Proceedings of the ACM '81 conference, p.39-45, January 1981
	Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989
	Jason Gait, Semaphores outside the kernel, ACM SIGPLAN Notices, v.19 n.10, p.12-21, October 1984
	David Gelernter , Arthur J. Bernstein, Distributed communication via global buffer, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.10-18, August 18-20, 1982, Ottawa, Canada
	Per Brinch Hansen, Monitors and concurrent Pascal: a personal history, ACM SIGPLAN Notices, v.28 n.3, p.1-35, March 1993
	Nissim Francez, Distributed Termination, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.42-55, Jan. 1980
	Norman Meyrowitz , Margaret Moser, BRUWIN: An adaptable design strategy for window manager/virtual terminal systems, ACM SIGOPS Operating Systems Review, v.15 n.5, p.180-189, December 1981
	R. H. Campbell , R. B. Kolstad, Practical applications of path pascal in systems programming, Proceedings of the 1979 annual conference, p.81-87, January 1979
	C. S. Ellis , J. A. Feldman , J. E. Heliotis, Language constructs and support systems for distributed computing, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.1-9, August 18-20, 1982, Ottawa, Canada
	Satoshi Matsuoka , Satoru Kawai, Using tuple space communication in distributed object-oriented languages, ACM SIGPLAN Notices, v.23 n.11, p.276-284, Nov. 1988
	Dana L. Wyatt , Sallie Sheppard , Robert E. Young, An experiment in microprocessor-based distributed digital simulation, Proceedings of the 15th conference on Winter simulation, p.271-278, December 12-14, 1983, Arlington, Virginia, United States
	Gregory R. Andrews , David P. Dobkin, Active data structures, Proceedings of the 5th international conference on Software engineering, p.354-362, March 09-12, 1981, San Diego, California, United States
	Robert P Cook , Rihard J Auletta, StarLite, a visual simulation package for software prototyping, ACM SIGPLAN Notices, v.22 n.1, p.102-110, January 1987
	Stuart R. Faulk , David L. Parnas, On synchronization in hard-real-time systems, Communications of the ACM, v.31 n.3, p.274-287, March 1988
	David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985
	R. L. Earle , R. B. Kieburtz , A. Silberschatz, Technical Correspondence, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.533-536, Oct. 1981
	Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983
	Gregory R. Andrews , Fred B. Schneider, Surveyors' forum: Notations for concurrent programming, ACM Computing Surveys (CSUR), v.15 n.4, p.376-377, December 1983
	Thomas J. LeBlanc , Robert P. Cook, An analysis of language models for high-performance communication in local-area networks, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.65-72, June 27-29, 1983, San Francisco, California, United States
	Ron Koymans , Jan Vytopil , Willem P. de Roever, Real-time programming and asynchronous message passing, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.187-197, August 17-19, 1983, Montreal, Quebec, Canada
	Verlynda Dobbs, A comparison of concurrent languages: a class project, ACM SIGCSE Bulletin, v.19 n.1, p.62-66, Feb. 1987
	Roberto Zicari, Semantics of a communication mechanism in a distributed system, Proceedings of the 5th ACM SIGSMALL symposium on Small systems, p.43-48, August 02-04, 1982, Colorado Springs, Colorado, United States
	Y Paker , T Kindberg, The worm program model: an application centred point of view for distributed architecture design, Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?, p.1-4, September 18-21, 1988, Cambridge, United Kingdom
	F. Baiardi , L. Ricci , M. Vanneschi, Static checking of interprocess communication in ECSP, ACM SIGPLAN Notices, v.19 n.6, p.290-299, June 1984
	Miguel García Hoffmann, Hardware implementation of communication protocols: A formal approach, Proceedings of the 7th annual symposium on Computer Architecture, p.253-263, May 06-08, 1980, La Baule, United States
	Robert J. Souza , Edward E. Balkovich, Impact of hardware interconnection structures on the performance of decentralized software, Proceedings of the 8th annual symposium on Computer Architecture, p.357-365, May 12-14, 1981, Minneapolis, Minnesota, United States
	Jeffrey M. Tobias, A single user multiprocessor incorporating processor manipulation facilities, Proceedings of the 7th annual symposium on Computer Architecture, p.131-138, May 06-08, 1980, La Baule, United States
	Ilya Gertner, Performance evaluation of communicating processes, ACM SIGMETRICS Performance Evaluation Review, v.8 n.3, p.241-248, Fall 1979
	Shohei Fujita, Distributed MIMD multiprocessor system with MicroAda/SuperMicro(TM) for asynchronous concurrent Newton's algorithms, Proceedings of the 5th ACM SIGSMALL symposium on Small systems, p.49-59, August 02-04, 1982, Colorado Springs, Colorado, United States
	Robert P. Trueblood , H. Rex Hartson , Johannes J. Martin, MULTISAFE—a modular multiprocessing approach to secure database management, ACM Transactions on Database Systems (TODS), v.8 n.3, p.382-409, Sept. 1983
	Luigi Stringa, EMMA-an industrial experience on large multiprocessing architectures, ACM SIGARCH Computer Architecture News, v.11 n.3, p.326-333, June 1983
	Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
	Brent Hailpern , Susan Owicki, Modular verification of concurrent programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.322-336, January 25-27, 1982, Albuquerque, Mexico
	Mitchell Wand, Continuation-based multiprocessing, Proceedings of the 1980 ACM conference on LISP and functional programming, p.19-28, August 25-27, 1980, Stanford University, California, United States
	M. Elizabeth C. Hull , R. M. McKeag, Communicating Sequential Processes for Centralized and Distributed Operating System Design, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.175-191, April 1984
	C. J. Fleckenstein , D. Hemmendinger, A parallel `make' utility based on Linda's tuple-space, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.216-220, February 21-23, 1989, Louisville, Kentucky
	Peter Wegner, Dimensions of object-based language design, ACM SIGPLAN Notices, v.22 n.12, p.168-182, Dec. 1987
	George S. Avrunin , Jack C. Wileden, Describing and analyzing distributed software system designs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.380-403, July 1985
	Brian D. Marsh , Michael L. Scott , Thomas J. LeBlanc , Evangelos P. Markatos, First-class user-level threads, ACM SIGOPS Operating Systems Review, v.25 n.5, p.110-121, Oct. 1991
	Frank D. Anger, On Lamport's interprocessor communication model, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.404-417, July 1989
	Per Brinch Hansen, Efficient parallel recursion, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico
	Warren H. Jessop, Ada packages and distributed systems, ACM SIGPLAN Notices, v.17 n.2, p.28-36, February 1982
	Patrícia Gomes Soares, On remote procedure call, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
	Jean Bacon, An approach to distributed software systems, ACM SIGOPS Operating Systems Review, v.15 n.4, p.62-74, October 1981
	Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Michael Lee Scott, Messages vs. remote procedures is a false dichotomy, ACM SIGPLAN Notices, v.18 n.5, p.57-62, May 1983
	Abraham Silberschatz, A note on the distributed program component cell, ACM SIGPLAN Notices, v.16 n.7, p.89-96, July 1981
	Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.10, p.50-61, October 1982
	Tim Harris , Keir Fraser, Language support for lightweight transactions, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Reza Ziaei , Gul Agha, SynchNet: a Petri net based coordination language for distributed objects, Proceedings of the second international conference on Generative programming and component engineering, p.324-343, September 22-25, 2003, Erfurt, Germany
	A. Singh , J. Schaeffer , M. Green, A Template-Based Approach to the Generation of Distributed Applications Using a Network of Workstations, IEEE Transactions on Parallel and Distributed Systems, v.2 n.1, p.52-67, January 1991
	Brian W. Unger , James R. Parker, An operating system implementation and simulation language (OASIS), ACM SIGMETRICS Performance Evaluation Review, v.8 n.3, p.151-161, Fall 1979
	Frederick C. Hathorn, Structured tasks, Proceedings of the sixth Washington Ada symposium on Ada, p.63-74, July 1989, McLean, Virginia, United States
	Nissim Francez , Shaula A. Yemini, Symmetric intertask communication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.622-636, Oct. 1985
	David W. Wall, Messages as active agents, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.34-39, January 25-27, 1982, Albuquerque, Mexico
	Douglas L. Long , Lori A. Clarke , Joseph Fialli, Ada language considerations for concurrency analysis, Proceedings of the sixth Washington Ada symposium on Ada, p.75-80, July 1989, McLean, Virginia, United States
	Chyuan Samuel Hsieh , Elizabeth A. Unger, Manifolds: a very high-level conceptual framework of interprocess synchronization and communication, Proceedings of the 15th annual conference on Computer Science, p.196-204, February 1987, St. Louis, Missouri, United States
	Richard D. Schlichting , Fred B. Schneider, Using message passing for distributed programming: proof rules and disciplines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.402-431, July 1984
	Gregory Andrews , Fred B. Schneider, Corrigenda: “Concepts and notations for concurrent programs”, ACM Computing Surveys (CSUR), v.15 n.4, p.377, December 1983
	Edward E. Balkovich , Colin Whitby-Strevens, On the performance of decentralized software, ACM SIGMETRICS Performance Evaluation Review, v.9 n.2, p.173-180, Summer 1980
	David B. Skillicorn , Domenico Talia, Models and languages for parallel computation, ACM Computing Surveys (CSUR), v.30 n.2, p.123-169, June 1998
	Douglas L. Long , Lori A. Clarke, Task interaction graphs for concurrency analysis, Proceedings of the 11th international conference on Software engineering, p.44-52, May 1989, Pittsburgh, Pennsylvania, United States
	Franklyn T. Bradshaw , George W. Ernst , Raymond J. Hookway , William F. Ogden, Procedure semantics and language definition, ACM SIGPLAN Notices, v.15 n.6, p.28-33, June 1980
	Carole M. McNamee , Ronald A. Olsson, Comments on 'Critical Races in Ada Programs', IEEE Transactions on Software Engineering, v.16 n.12, p.1439, December 1990
	Hideharu Amano , Taisuke Boku , Tomohiro Kudoh, (SM)/sup 2/-II: A Large-Scale Multiprocessor for Sparse Matrix Calculations, IEEE Transactions on Computers, v.39 n.7, p.889-905, July 1990
	David Hemmendinger, Specifying Ada Server Tasks with Executable Formal Grammars, IEEE Transactions on Software Engineering, v.16 n.7, p.741-754, July 1990
	A. Bossi , N. Cocco , S. Dulli, Modular decomposition of Ada into a hierarchy of sublanguages, ACM SIGAda Ada Letters, v.II n.6, p.53-58, May/June 1983
	Hideyuki Tokuda , Eric G. Manning, An interprocess communication model for a distributed software testbed, ACM SIGCOMM Computer Communication Review, v.13 n.2, April 1983
	Rushikesh K. Joshi , D. Janaki Ram, Anonymous Remote Computing: A Paradigm for Parallel Programming on Interconnected Workstations, IEEE Transactions on Software Engineering, v.25 n.1, p.75-90, January 1999
	Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.1, p.45-72, January 1981
	Jan van den Bos, Comments on ADA process communication, ACM SIGPLAN Notices, v.15 n.6, p.77-81, June 1980
	Gregory L. Heileman , Michael Georgiopoulos , William D. Roome, A General Framework for Concurrent Simulation on Neural Network Models, IEEE Transactions on Software Engineering, v.18 n.7, p.551-562, July 1992
	Gregory R. Andrews, Distributed programming languages, Proceedings of the ACM '82 conference, p.113-117, January 1982
	Barbara Liskov , Maurice Herlihy , Lucy Gilbert, Limitations of synchronous communication with static process structure in languages for distributed computing, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.150-159, January 01, 1986, St. Petersburg Beach, Florida
	Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.2, p.38-78, April 1981
	Cliff B. Jones, The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, v.25 n.2, p.26-49, April 2003
	Bernadette Charron-Bost , Friedemann Mattern , Gerard Tel, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, v.9 n.4, p.173-191, February 1996
	Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996
	Thomas Haigh, Biographies, IEEE Annals of the History of Computing, v.25 n.1, p.80-87, January 2003
	Francesco Tisato , Roberto Zicari, The Xcode machine, ACM SIGSMALL Newsletter, v.10 n.1, p.12-23, February 1984
	Tim Harris, Exceptions and side-effects in atomic blocks, Science of Computer Programming, v.58 n.3, p.325-343, December 2005
	Denis Caromel, A solution to the explicit/implicit control dilemma, ACM SIGPLAN OOPS Messenger, v.2 n.2, p.21-25, Apr. 1991
	Sub Ramakrishnan , Larry Dunning , Thomas Nitsch, An integrated optimal task assignment policy, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, p.789-795, February 14-16, 1993, Indianapolis, Indiana, United States
	R. Kent Dybvig, The development of Chez Scheme, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Stefano A. Cerri , Vincenzo Loia, A Concurrent, Distributed Architecture for Diagnostic Reasoning, User Modeling and User-Adapted Interaction, v.7 n.2, p.69-105, 1997
	A. Burns , G. Davies, Pascal-FC: a language for teaching concurrent programming, ACM SIGPLAN Notices, v.23 n.1, p.58-66, Jan., 1988
	Szabolcs Ferenczi, Guarded methods vs. inheritance anomaly: inheritance anomaly solved by nested guarded method calls, ACM SIGPLAN Notices, v.30 n.2, p.49-58, Feb. 1995
	Uwe Petermann , Andrzej Szalas, A note on PCI: distributed processes communicating by interrupts, ACM SIGPLAN Notices, v.20 n.3, p.37-47, March 1985
	N. B. Serbedzija, Asynchronous communication on Occam, ACM SIGPLAN Notices, v.23 n.12, p.51-62, Dec. 1988
	Per Brinch Hansen, Efficient parallel recursion, ACM SIGPLAN Notices, v.30 n.12, p.9-16, Dec. 1995
	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979
	Paul Butcher , Hussein Zedan, Lucinda—an overview, ACM SIGPLAN Notices, v.26 n.8, p.90-100, Aug. 1991
	D. D. Jung , E. Sibert, Indirect naming in distributed programming languages, ACM SIGPLAN Notices, v.24 n.9, p.126-132, Sept. 1989
	Peter Wegner, Granularity of modules in object-based concurrent systems, ACM SIGPLAN Notices, v.24 n.4, p.46-49, April 1989
	Mitchell Wand, Continuation-Based Multiprocessing Revisited, Higher-Order and Symbolic Computation, v.12 n.3, p.283-283, October 1999
	Robert E. Filman , Daniel P. Friedman, Models, languages, and heuristics for distributed computing, Proceedings of the June 7-10, 1982, national computer conference, June 07-10, 1982, Houston, Texas