Abstracting interactions based on message sets

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

Volumn 924, Issue , 1995, Pages 107-124

  Frølund, Svend ^a   Agha, Gul ^b  

^a HEWLETT PACKARD LABORATORIES   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CHEMICAL ACTIVATION; COMPUTATIONAL LINGUISTICS; DISTRIBUTED COMPUTER SYSTEMS;

ARBITRARY COMMUNICATION; COMMUNICATION MODELING; CONCURRENT OBJECTS; CONCURRENT SYSTEMS; DISTRIBUTED SYSTEMS; INTERACTION PATTERN; MULTIPLE CLIENTS; MULTIPLE SERVERS;

OBJECT ORIENTED PROGRAMMING;

EID: 84958959764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-59450-7_7     Document Type: Conference Paper

References (34)

1. S. Abramsky and R. Bornat. Pascal-M: A Language for Loosely Coupled Distributed Systems. In Y. Parker and J.-P. Verjus, editors, Distributed Computing Systems, pages 163-189. Academic Press, 1983.
2. J. S. Auerbach, D. F. Bacon, A. P. Goldberg, G. S. Goldszmidt, A. S. Gopal, M. T. Kennedy, A. R. Lowry, J. R. Russell, W. Silverman, R. E. Strom, D. M. YeUJn, and S. A. Yemini. High-Level Language Support for Programming Distributed Systems. In In Proceedings of the 199s International Conference on Computer Languages. IEEE, April 1992.
3. P. C. Attie, I. R. Forman, and E. Levy. On Fairness as an Abstraction for the Design of Distributed Systems. In Tenth International Conference on Distributed Computing Systems. IEEE, 1990.
4. G. Agha, S. Frølund R. Panwar, and D. Sturman. A Linguistic Framework for Dynamic Composition of Dependability Protocols. In Dependable Computing for Critical Applications IlL International Federation of Information Processing Societies (IFIP), Elsevier Scienc Publisher, 1993.
5. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
6. G. Agha. Concurrent Object-Oriented Programming. Communications of the ACM, 33(9):125-141, September 1990.
7. Jean-Marc Andreoli and Remo Pareschi. LO and Behold! Concurrent Structured Processes. In Proceedings OOPSLA/ECOOP '90, pages 44-56, October 1990. Published as ACM SIGPLAN Notices, volume 25, number 10.
8. M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting Object Interactions Using Composition Filters. In ECOOP 1993, Lecture Notes in Computer Science. Springer Verlag, 1993. LNCS 791.
9. J. P. Banatre, M. Banatre, and F. Ployette. The Concept of Multi-Function: A General Structuring Tool for Distributed Operating Systems. In Sixth International Conference on Distributed Computing Systems. IEEE, 1986.
10. R. J. R. Back and R. Kurki-Suonio. Distributed Cooperation with Action Systems. A CM Transactions on Programming Languages and Systems, 10(4), 1988.
11. N. Carriero, D. Gelernter, and J. Leichter. Distributed Data Structures in Linda. In POPL '86 Proceedings. ACM, 1986.
12. A. Charlesworth. The Multiway Rendezvous. ACM Transactions on Programming Languages and Systems, 9(2), July 1987.
13. E. Cooper. Programming Language Support for Multicast Communication in Distributed Systems. In Proceedings of the Tenth International Conference on Distributed Computing Systems. IEEE, 1990.
14. E. W. Dijkstra. Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Communications of the ACM, 18(8), August 1975.
15. R. E. Stearns D. J. Rosenkrantz and P. M. Lewis II. System Level Concurrency Control for Distributed Database Systems. ACM Transactions on Database Systems, 3(2):178-198, June 1978.
16. M. Evangelist, N. Francez, and S. Katz. Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Transactions on Software Engineering, 15(11), 1989.
17. M. Evangelist, V. Y. Shen, I. R. Forman, and M. Graf. Using Raddle to Design Distributed Systems. In Proceedings of the Tenth International Conference on Software Engineering, Singapore. IEEE, 1988.
18. N. Francez, B. Hailpern, and G. Taubenfeld. Script: A Communication Abstraction Mechanism and its Verification. Science of Computer Programming, 6:35-88, 1986.
19. S. Gregory. Parallel Logic Programming in PARLOG. Addison-Wesley, first edition, 1987.
20. C. Hewitt and G. Agha. Guarded Horn Clause Languages: Are they Deductive and Logical. In Proceedings of Fifth Generation Computer Systems Conference, Dec. 1988.
21. R. H. Halstead. New Ideas in Parallel Lisp: Language Design, Implementation, and Programming Tools. In Parallel Lisp: Languages and Systems. Springer-Verlag, 1990. LNCS 441.
22. C. A. R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666-677, August 1978.
23. S. Jagannathan. Customization of First-Class Tuple-Spaces in a Higher-Order Language. In E. H. L. Aarts and J. van Leeuwen, editors, Proceedings of PARLE '91 Parallel Architectures and Languages Europe. Springer Verlag, June 1991. LNCS 506.
24. Y. Joung and S. A. Smolka. Coordinating First-Order Multiparty Interactions. In POPL '91 Proceedings. ACM, 1991.
25. Kenneth M. Kahn and Vijay A. Saraswat. Actors as a Special Case of Concurrent Constraint Programming. In Proceedings OOPSLA/ECOOP '90, pages 57-65, October 1990. Published as ACM SIGPLAN Notices, volume 25, number 10.
26. B. Liskov and L. Shrira. Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, June 1988.
27. Satoshi Matsuoka and Satoru Kawai. Using Tuple Space Communication in Distributed Object-Oriented Languages. In Proceedings OOPSLA '88, pages 276-284, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.
28. D. May, R. Shepherd, and C. Keane. Communicating Process Architecture: Transputer and Occam. In P. Treleaven and M. Vanneschi, editors, Future Parallel Architecture, pages 35-81. Springer-Verlag, 1986. LNCS 272.
29. J. H. Reppy. Higher-Order Concurrency. PhD thesis, Cornell University, June 1992. Published as Technical Report 92-1285.
30. V. Saraswat, K. Kahn, and J. Levy. JANUS: A Step Towards Distributed Constraint Programming. Technical Report SSL-90-51, Xerox Pa]o Alto Reseach Center (PARC), 1980.
31. Takuo Watanabe and Akinori Yonezawa. Reflection in an Object-Oriented Concurrent Language. In Proceedings OOPSLA '88, pages 306-315, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.
32. Akinori Yonezawa, Jean-Pierre Briot, and Etsuya Shibayama. Object-Oriented Concurrent Programming in ABCL/1. In Proceedings OOPSLA '86, pages 258-268, November 1986. Published as ACM SIGPLAN Notices, volume 21, number 11.
33. A. Yonezawa, editor. ABCL An Object-Oriented Concurrent System. MIT Press, Cambridge, Mass., 1990.
34. Yasuhiko Yokote and Mario Tokoro. The Design and Implementation of ConcurrentSmalltalk. In Proceedings OOPSLA '86, pages 331-340, November 1986. Published as ACM SIGPLAN Notices, volume 21, number 11.