An associative broadcast based coordination model for distributed processes

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

Volumn 2315, Issue , 2002, Pages 96-110

  Browne, James C ^a   Kane, Kevin ^a   Tian, Hongxia ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONDITIONAL EXPRESSIONS; COORDINATION MODEL; COORDINATION PROTOCOLS; DISTRIBUTED MUTUAL EXCLUSION; DISTRIBUTED PROCESS; LOCAL STATE;

INTERFACE STATES;

EID: 84944030905     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46000-4_11     Document Type: Conference Paper

References (20)

1. X. Ao, N. Minsky, T. Nguyen, V. Ungureanu Law-Governed Communities Over the Internet In Proc. of Coordination’ 2000: Fourth International Conference on Coordination Models and Languages, LNCS, No. 1906, pages 133-147, Springer-Verlag, September 2000, Limassol Cyprus.
2. F. Arbab, F.S. de Boer, and M.M. Bonsangue. A logical interface description language for components. Proceedings of the Second International Conference on Coordination Models and Languages (COORDINATION), LNCS, 2000.
3. F. Arbab, I. Herman, and P. Spilling, "An Overview of Manifold and its Implementation", in: Concurrency: Practice and Experience, 5(1993).
4. F. Arbab, F.S. de Boer, and M.M. Bonsangue. A coordination language for mobile components. In Proceedings of the 2000 ACM Symposium on Applied Computing, SAC2000, 2000.
5. B. Bayerdorffer, “Associative Broadcast and the Communication Semantics of Naming in Concurrent Systems”, PhD. dissertation, Dept.of Computer Sciences, Univ. of Texas at Austin. Dec. 1993
6. Bayerdorffer, B.,"Distributed Programming with Associative Broadcast", Proceedings of the Twenty-eighth Hawaii International Conference on System Sciences, January 1995.
7. M. Boasson "Control System Software" IEEE Trans. Automatic Control, 38(7):1094-1107 (1993).
8. F.S. de Boer and M. Bonsangue. "A compositional model for confluent dynamic data-flow networks" In Proceedings of the International Symposium of the Mathematical Foundations of Computer Science (MFCS), LNCS, 2000.
9. F.S. de Boer and M. Bonsangue. A compositional model for confluent dynamic data-flow networks. In Proceedings of the International Symposium of the Mathematical Foundations of Computer Science (MFCS), LNCS, 2000.
10. J.C Browne, E. Berger and A. Dube, "Compositional Development of Performance Models in POEMS" International Journal of High Performance Computing and it Applications 14,pp.283-292, 2000.
11. M. Broy “Equations for Describing Dynamic Nets of Communicating Systems,” in Proc. 5th COMPASS Workshop, Volume 906, LNCS, pp170-187, 1995.
12. L. Cardelli and A. Gordon "Mobile Ambients" in M. Nivat, editor, "Foundations of Software Science and Computational Structures, Volume 1378 of LNCS, pp.140-155,Springer-Verlag (1998).
13. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
14. Kaashoek, M. F., Tanenbaum, A. S., Hummel, S. F., and Bal, H. E. An Efficient Reliable Broadcast Protocol. ACM SIGOPS Operating Systems Review 23, 4 (Oct. 1989).
15. G. A. Papadopoulos and F. Arbab "Coordination Models and Languages", in Advances in Computers, Academic Press, August 1998, Vol. 46: The Engineering of Large Systems.
16. A. Rowston and A. Wood "An Efficient Distributed Tuple Space Implementation for Networks of Workstations" In L.Bouge, P Fraigniaud, A. Mignotte and Y. Robert, editors, Europar'96, volume 1123 of LNCS pp.510-513, Springer Verlag, 1996.
17. G. Ricart and A. Agrawala "An Optimal Algorithm for Mutual Exclusion in Computer Networks" Comm.ACM 24(1)(Jan 1981), pp.9-17
18. D. Gelertner. “Generative communication in Linda.” ACM Trans. Prog. Lang. Sys., 7(1):80-- 112, 1985.
19. M.M. Bonsangue, J.N. Kok, and G. Zavattaro. Comparing coordination models based on shared distributed replicated data. In Proceedings of the 1999 ACM Symposium on Applied Computing; Special Track on Coordination Models, Languages and Applications, ACM press, 1999.
20. C. Dwork, N. Lynch, and L. Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM, 35(2):288--323, April 1988.