Influence of coordination on program structure

Proceedings of the Hawaii International Conference on System Sciences

Volumn 1, Issue , 1997, Pages 300-309

  Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENT ENGINEERING; OBJECT ORIENTED PROGRAMMING;

COORDINATION LANGUAGES; GENERATIVE TUPLE SPACE PARADIGM; IDEALIZED WORKER IDEALIZED MANAGER (IWIM) MODEL;

SOFTWARE ENGINEERING;

EID: 0031389311     PISSN: 10603425     EISSN: None     Source Type: None    
DOI: 10.1109/HICSS.1997.667277     Document Type: Conference Paper

References (36)

1. G. Agha Actors: A Model of Concurrent Computation in Distributed Systems 1986 MIT Press
2. J. Andreoli H. Gallaire R. Pareschi Object-Based Models and Languages for Concurrent Systems 924 1 13 1995 Springer-Verlag Berlin Rule-Based Object Coordination
3. F. Arbab Coordination of massively concurrent activities November 1995 The Netherlands, Amsterdam CS-R9565 Centrum voor Wiskunde en Informatica,
4. F. Arbab Coordination Languages and Model 1061 34 56 April 1996 Springer-Verlag The IWIM model for coordination of concurrent activities
5. F. Arbab C. L. Blom F. J. Burger C. T. H. Everaars Proceedings of Euro-Par '96 1123 664 677 August 1996 Springer-Verlag Reusable coordinator modules for massively concurrent applications
6. C. Atkinson S. Goldsack A. D. Maio R. Bayan Object-oriented concurrency and distribution in DRAGOON Journal of Object-Oriented Programming March/April 1991
7. J. Banatre D. L. Metayer The GAMMA model and its discipline of programming Science of Computer Programming 15 55 77 November 1990
8. J. Banatre D. L. Metayer Programming by multiset transformations Communications of the ACM 36 1 98 111 January 1993
9. S. Bijnens W. Joosen P. Verbaeten Object-Based Models and Languages for Concurrent Systems 14 28 1995 Springer-Verlag Sender initiated and receiver initiated coordination in a global object space
10. T. Bolognesi E. Brinksma Introduction to the ISO specification language LOTOS Computer Networds and ISDN Systems 14 25 59 1986
11. R. Butler E. Lusk User's guide to the p4 parallel programming system Oct. 1992 ANL-92/17 Argonne National Laboratory
12. N. Carriero D. Gelernter LINDA in context Communications of the ACM 32 444 458 1989
13. N. Carriero D. Gelernter L. Zuck B. Linda Object-Based Models and Languages for Concurrent Systems 924 66 76 1995 Springer-Verlag Berlin
14. M. Chaudron E. de Jong Coordination Languages and Model 1061 107 123 April 1996 Springer-Verlag Towards a compositional method for coordinating Gamma programs
15. C. T. H. Everaars F. Arbab Coordination of distributed/parallel multiple-grid domain decomposition Proceedings of Irregular '96 1117 131 144 Proceedings of Irregular '96 1996-August
16. C. T. H. Everaars F. Arbab F. J. Burger Restructuring sequential Fortran code into a parallel/distributed application Proceedings of the International Conference on Software Maintenance '96 Proceedings of the International Conference on Software Maintenance '96 1996-November
17. S. Frolund G. Agha A language framework for multi-object coordination Proc. ECOOP '93 707 346 360 Proc. ECOOP '93 1993
18. A. Geist A. BegueJin J. Dongarra W. Jiang R. Manchek V. Sunderam PVM 3 user's guide and reference manual September 1994 QRNL/TM-12187 Oak Ridge National Laboratory
19. D. Gelernter Generative communication in Linda ACM Transactions on Programming Languages and Systems 7 1 80 112 1985
20. R. Helm I. Holland D. Gangopadhyay Contracts: Specifying behavioral compositions in object-oriented systems SIGPLAN Notices 25 10 169 180 October 1990
21. R. Hempel H. Hoppe U. Keller W. Krotz PARMACS v6.1 specification August 1995 PALLAS GmbH
22. C. Hoare Prentice Hall International Series in Computer Science 1985 Prentice-Hall New Jersey Communicating Sequential Processes
23. I. Holland Specifying reusable components using contracts Proc. ECOOP '92 615 287 308 Proc. ECOOP '92 1992-July
24. A. A. Holzbacher Coordination Languages and Model 1061 249 266 April 1996 Springer-Verlag A software environment for concurrent coordinated programming
25. OCCAM 2, Reference Manual Series in Computer Science 1988 INMOS Ltd.
26. K. M. Kahn M. S. Miller A letter about the article 'Linda in Context' by Carrierro and Gelernter Communications of the ACM 32 10 1253 1255 October 1989
27. R. Milner Elements of interaction Communications of the ACM 36 l 78 89 January 1993
28. N. Minsky J. Leichter Object-Based Models and Languages for Concurrent Systems 125 146 1995 Springer-Verlag Law-governed Linda as a coordination model
29. H. P. Nii The Handbook of Artificial Intelligence 4 1 82 1989 Addison-Wesley Blackboard systems
30. G. A. Papadopoulos F. Arbab Coordination of systems with real-time properties in Manifold Proceedings of the 20 Annual International Computer Software and Applications Conference (Compsac '96) Proceedings of the 20 Annual International Computer Software and Applications Conference (Compsac '96) 1996-August
31. J. Pinakis Providing direct communication in Linda 15th Australian Computer Science Conference 731 743 15th Australian Computer Science Conference 1992
32. A. Rowstron A. Wood Coordination Languages and Model 1061 357 367 April 1996 Springer-Verlag Solving the Linda multiple rd problem
33. MPI: A Message Passing Interface Standard May 1994 http://www.mcs.anl.gov/mpi/mpi-report.ps
34. J. van den Bos C. Laffra PROCOL: A concurrent object-oriented language with protocols delegation and constraints Acta Informatica 28 511 538 1991
35. P. Wegner Coordination Languages and Model 1061 28 33 April 1996 Springer-Verlag Coordination as constrained interaction
36. P. Wegner Foundations of interactive computing April 1996 CS-96-01 Brown University