The IWIM model for coordination of concurrent activities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1061, Issue , 1996, Pages 34-56

  Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

Concurrency; Coordination languages; MIMD; Models of communication; Parallel computing

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SYSTEMS PROGRAMMING; COORDINATION REACTIONS; PARALLEL PROCESSING SYSTEMS;

ANONYMOUS COMMUNICATION; CONCURRENCY; CONCURRENT ACTIVITIES; COOPERATION PROTOCOLS; COORDINATION LANGUAGE; MASSIVELY PARALLEL SYSTEMS; MIMD; SUBJECT CLASSIFICATION;

DATA FLOW ANALYSIS;

EID: 84958773067     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61052-9_38     Document Type: Conference Paper

References (25)

1. F. Arbab, "Coordination of massively concurrent activities," Tech. Rep. CSR9564, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1995.
2. C. Hoare, Communicating Sequential Processes. Prentice HM1 International Series in Computer Science, New Jersey: Prentice-Hall, 1985.
3. R. Milner, Communication and Concurrency. Prentice HM1 InternationM Series in Computer Science, New Jersey: Prentice Hall, 1989.
4. G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
5. INMOS Ltd., OCCAM 2, Reference Manual. Series in Computer Science, London -- Sydney -- Toronto -- New Delhi -- Tokyo: Prentice-Hall, 1988.
6. T. Bolognesi and E. Brinksma, "Introduction to the ISO specification language LOTOS," Computer Networds and ISDN Systems, vol. 14, pp. 25-59, 1986.
7. A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam, "PVM 3 user's guide and reference manual," Tech. Rep. ORNL/TM-12187, Oak Ridge NationM Laboratory, September 1994.
8. J. J. Dongarra, S. W. Otto, M. Snir, and D. Walker, "An introduction to the MPI standard," Tech. Rep. CS-95-274, University of Tennessee, Jan. 1995.
9. R. Butler and E. Lusk, "User's guide to the p4 parallel programming system," Tech. Rep. ANL-92/17, Argonne National Laboratory, Oct 1992. Version 1.4.
10. R. Hempel, H. Hoppe, U. Keller, and W. Krotz, "PARMACS v6.1 specification," tech. rep., PALLAS GmbH, Hermulheimer Strasse 10, D-50321, August 1995.
11. 1L F. Arbab, I. Herman, and P. Spilling, "An overview of Manifold and its implementation," Concurrency: Practice and Experience, vol. 5, pp. 23-70, February 1993.
12. F. Arbab, "Manifold version 2: Language reference manual," Tech. Rep. preliminary version, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1995
13. C. T. H. Everaars, P. W. Hemker, and W. Stortelder, "Manual ofsplds, a software package for parameter identification in dynamic systems," Tech. Rep. preliminary version, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, September 1995.
14. T. Malone and K. Crowston, "The interdisciplinary study of coordination," ACM Computing Surveys, vol. 26, pp. 87-119, March 1994.
15. L. Dami, "HOP: Hierarchical objects with ports," in Object Frameworks (D. Tsichritzis, ed.), Centre Universataire d'Informatique, University of Geneva, 1992.
16. S. Frolund and G. Agha, "A language framework for multi-object coordination," in Proc. ECOOP '93, vol. 707 of Lecture Notes in Computer Science, pp. 346-360, Springer-Verlag, 1993.
17. N. Carriero and D. Gelernter, "LINDA in context," Communications of the ACM, vol. 32, pp. 444-458, 1989.
18. D. Gelernter, "Generative communication in Linda," ACM Transactions on Programming Languages and Systems, vol. 7, no. 1, pp. 80-112, 1985.
19. I. Foster and S. Taylor, Strand: New Concepts in Parallel Programming. Prentice-Hall, 1990.
20. M. Wise, D. Jones, and T. Hintz, "PMS-Prolog: A distributed Prolog with processes, modules and streams," in Implementations of Distributed Prolog, Series in Parallel Computing, pp. 379-404, Wiley, 1992.
21. A. Borgi and P. Ciancarini, "The concurrent language Shared Prolog," ACM Transactions on Programming Languages and Systems, vol. 13, no. 1, pp. 99-123, 1991.
22. E. Shapiro, "The family of Concurrent Logic Languages," ACM Computing Surveys, vol. 21, pp. 412-510, September 1989.
23. J. Andreoli, P. Ciancarini, and It. Pareschi, "Interaction Abstract Machines," in Trends in Object-Based Concurrent Computing, pp. 257-280, MIT Press, 1993.
24. J. Andreoli and R. Pareschi, "Linear Objects: Logical processes with built-in inheritance," New Generation Computing, vol. 9, no. 3-4, pp. 445-473, 1991.
25. H.P. Nii, "Blackboard systems," in The Handbook of Artificial Intelligence (A. Barr, P. Cohen, and E. Feigenbaum, eds.), vol. 4, pp. 1-82, Addison-Wesley, 1989