A timed extension of ReSpecT

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2005, Pages 420-427

  Ricci, Alessandro ^a   Viroli, Mirko ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Coordination Models; Timed Systems; Tuple Centres

Indexed keywords

DISTRIBUTED PARAMETER CONTROL SYSTEMS; ENCAPSULATION; FORMAL LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

COORDINATION MODELS; TIMED SYSTEMS; TUPLE CENTRES; TUPLE SPACE COORDINATION MODELS;

LOGIC PROGRAMMING;

EID: 24644501806     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066677.1066776     Document Type: Conference Paper

References (17)

1. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
2. P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. Lustre: a declarative language for real-time programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 178-188. ACM Press, 1987.
3. E. Denti, A. Natali, and A. Omicini. On the expressive power of a language for programming coordination media. In Proc. of the 1998 ACM Symposium on Applied Computing (SAC'98), pages 169-177. ACM, February 27 - March 1 1998. Track on Coordination Models, Languages and Applications.
4. E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces: Principles, Patterns, and Practice. The Jini Technology Series. Addison-Wesley, 1999.
5. D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, January 1985.
6. J.-M. Jacquet, K. De Bosschere, and A. Brogi. On timed coordination languages. In D. Garlan and D. Le Métayer, editors, Proceedings of the 4th International Conference on Coordination Languages and Models, volume 1906 of LNCS, pages 81-98, Berlin (D), 2000. Springer-Verlag.
7. M. Klein, J. A. Rodriguez-Aguilar, and C. Dellarocas. Using domain-independent exception handling services to enable robust open multi-agent systems: The case of agent death. Autonomous Agents and Multi-Agent Systems, (7):179-189, 2003.
8. A. Omicini and E. Denti. Formal ReSpecT. In A. Dovier, M. C. Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP'00, volume 48 of Electronic Notes in Theoretical Computer Science, pages 179-196. Elsevier Science B. V., 2001.
9. A. Omicini and E. Denti. From tuple spaces to tuple centres. Science of Computer Programming, 41(3):277-294, Nov. 2001.
10. A. Omicini, A. Ricci, M. Viroli, and C. Castelfranchi. Coordination artifacts: Environment-based coordination for intelligent agents. In Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York, USA, 2004. ACM Press.
11. A. Omicini and F. Zambonelli. Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, 2(3):251-269, Sept. 1999. Special Issue: Coordination Mechanisms for Web Agents.
12. G. A. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, 46:329-400, 1998.
13. A. Rowstron and A. Wood. Solving the Linda multiple rd problem using the copy-collect primitive. Science of Computer Programming, 31(2-3):335-258, 1998.
14. R. Tolksdorf and D. Glaubitz. XMLSpaces for coordination in web-based systems. In Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Massachusetts, USA, jun 2001.
15. TuCSoN home page. http://lia.deis.unibo.it/research/TuCSoN/.
16. tuProlog home page. http://lia.deis.unibo.it/research/tuProlog/.
17. P. Wyckoff, S. W. McLaughry, T. J. Lehman, and D. A. Ford. T Spaces. IBM Journal of Research and Development, 37(3 - Java Techonology):454-474, 1998.