Enrico Denti
Andrea Omicini
- 1.F. Arbab, I. Herman, and P. Spilling. An overview of manifold and its implementation. Concurrency: Practice and Experience, 5(1):23-70, 1993.]] Google Scholar
Digital Library
- 2.J.-P. BanAtre and D. L~ Mdtayer. The Gamma model and its discipline of programming. Science of Computer Programming, 15(1):55-77, November 1990.]] Google ScholarDigital Library
- 3.J.-P. Bangtre and D. Le Mdtayer. Programming by multiset transformation. Communications of the A CM, 36(1):98-111, January 1993.]] Google ScholarDigital Library
- 4.A. Brogi and P. Ciancaxini. The concurrent language, Shared Prolog. A CM Transactions on Programming Languages and Systems, 13(1), January 1991.]] Google ScholarDigital Library
- 5.N. Busi, R. Gorrieri, and O. Zavattaxo. On Turing equivalence of Linda coordination primitives. Technical Report UBLCS-97-5, Laboratory of Computer Science, University of Bologna, May 1997.]] Google ScholarDigital Library
- 6.P. Ciancarini. Distributed programming with logic tuple spaces. New Generation Computing, 12, 1994.]] Google ScholarDigital Library
- 7.P. Ciancarini. Coordination models and languages as software integrators. A CM Computing Surveys, 28(2), June 1996.]] Google ScholarDigital Library
- 8.E. Denti, A. Natali, and A. Omicini. Merging logic programming into web-based technology: a coordinationbased approach. In Proceedings of the 2nd International Workshop on Logic Programming Tools for lnternet Ap. plications, in conjunction with ICL P '97, pages 117-128, Leuven, Belgium, July 8-12 1997.]]Google Scholar
- 9.E. Denti, A. Natali, and A. Omicini. Programmable coordination media. In D. Garlan and D. Le M~tayer, editors, Coordination Languages and Models, volume 1282 of LNCS, pages 274-288. Springer-Verlag, 1997. Second International Conference COORDINATION'97, Berlin, Germany, September 1-3, 1997.]] Google ScholarDigital Library
- 10.E. Denti, A. Natali, A. Omicini, and M. Venuti. An extensible framework for the development of coordinated applications. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models, volume 1061 of LNCS, pages 305-320. Springer-Verlag, 1996. First International Conference, COORDINATION'96, Cesena, Italy, April 15-17, 1996.]] Google ScholarDigital Library
- 11.E. Denti, A. Natali, A. Omicini, and M. Venuti. Logic tuple spaces for the coordination of heterogeneous agents. In F. Baader and K.U. Schulz, editors, Frontiers o} Combining Systems, pages 147-160. Kluwer Academic Publishers, 1996. First International Workshop "Frontiers of Combining Systems", FroCoS'96, Munich, Germany, March 26-29, 1996.]]Google Scholar
- 12.E. Denti and A. Omicini. Designing multi-agent systems around an extensible communication abstraction. in A. Cesta and P.-Y. Schobbens, editors, Proceedingt of the gth ModeIAge Workshop on Formal Models oj Agents, Certosa di Pontignano, Italy, January 15-1& 1997, pages 87-97. National Research Council of Italy, 1997. To be published by Springer-Verlag in the LNAI Series.]] Google ScholarDigital Library
- 13.E.W. Dijkstra. Co-operating sequentialprocesses. Academic Press, London, 1965.]]Google Scholar
- 14.D. Gelernter. Generative communication in Linda. A CM Transactions on Programming Languages an( Systems, 7(1), January 1985.]] Google ScholarDigital Library
- 15.D. Gelernter. Multiple tuple spaces in Linda. In Pro ceedings of PARLE, volume 365 of LNCS, 1989.]] Google ScholarDigital Library
- 16.D. Gelernter and N. Carriero. Coordination language, and their significance. Communications of the A CM 35(2):97-107, February 1992.]] Google ScholarDigital Library
- 17.D. Gelernter and L. Zuck. On what linda is: Formal de scription of linda as a reactive system. In D. Garlan an( D. Le M~tayer, editors, Coordination Languages an Models, volume 1282 of LNCS, pages 187-204. Springer Verlag, 1997. Second International Conference COOR DINATION'97, Berlin, Germany, September 1-3, 1997]] Google ScholarDigital Library
- 18.A.A.. Holzbacher. A software environment for concur rent coordinated programming. In P. Ciancarini an~ C. Hankin, editors, Coordination Languages and Moo els, volume 1061 of LNCS, pages 249-266. Springer Verlag, 1996. First International Conference, COOR DINATION'96, Cesena, Italy, April 15-17, 1996.]] Google ScholarDigital Library
- 19.D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Brian, and W. Mann. Specification and analysis if system architecture using rapide. {EEE Transactions on Software Engineering, 21(4):336-355, 1995.]] Google ScholarDigital Library
- 20.M.L. Minsky. Computation: finite and infinite machines. Prentice-Hall, Englewood Cliff, 1967.]] Google ScholarDigital Library
- 21.N. Minsky and J. Leichter. Law-governed linda as a coordination model. In P. Ciancarini, C. Nierstratsz, and A. Yonezawa, editors, Object-Based Models and Languages, volume 924 of LNCS, pages 125-145. Springer- Verlag, 1994.]] Google ScholarDigital Library
- 22.A. Omicini, E. Denti, and A. Natali. Agent coordination and control through logic theories. In Topics in Artificial Intelligence- 4th Congress of the Italian Association for Artificial intelligence, AI*IA '95, volume 992 of LNAI, pages 439-450, Firenze, Italy, October 11-13 1995. Springer-Verlag.]] Google ScholarDigital Library
- 23.G.A. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, 46, 1998. To appear.]]Google Scholar
- 24.J.C. Shepherdson and H.E. Sturgis. Computability of recursive functions, journal o{ the A CM, 10:217-255, 1963.]] Google ScholarDigital Library
- 25.P. Wegner. interactive foundations of computing. Technical report, Brown University, Providence (R{), August 1996.]]Google Scholar
Index Terms
- On the expressive power of a language for programming coordination media
Comments