Time-aware coordination in ReSpecT

Lecture Notes in Computer Science

Volumn 3454, Issue , 2005, Pages 268-282

  Omicini, Andrea ^a   Ricci, Alessandro ^a   Viroli, Mirko ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTER SIMULATION; LOGIC PROGRAMMING; SPECIFICATIONS;

COORDINATION LAWS; TIME-AWARE COORDINATION POLICIES; TUPLE CENTERS;

DYNAMIC PROGRAMMING;

EID: 24644471622     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11417019_18     Document Type: Conference Paper

References (20)

1. Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M., eds.: 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004). Volume 1., New York, USA, ACM (2004) 286-293
2. Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M., eds.: 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004). Volume 1., New York, USA, ACM (2004) 102-110
3. Viroli, M., Omicini, A.: Coordination as a service: Ontological and formal foundation. Electronic Notes in Theoretical Computer Science 68 (2003) 1st International Workshop "Foundations of Coordination Languages and Software Architecture" (FOCLASA 2002), Brno, Czech Republic, 24 August 2002. Proceedings.
4. Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems 2 (1999) 251-269 Special Issue: Coordination Mechanisms for Web Agents.
5. TuCSoN: Home page. http://lia.deis.unibo.it/research/TuCSoN/(2001)
6. Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems (TOPLAS) 7 (1985) 80-112
7. Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming 41 (2001) 277-294
8. Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: 1998 ACM Symposium on Applied Computing (SAC'98), Atlanta, GA, USA, ACM (1998) 169-177 Special Track on Coordination Models, Languages and Applications.
9. Ricci, A., Omicini, A., Viroli, M.: Extending ReSpecT for multiple coordination flows. In Arabnia, H.R., ed.: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02). Volume III., Las Vegas, NV, USA, CSREA Press (2002) 1407-1413
10. Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces: Principles, Patterns, and Practice. The Jini Technology Series. Addison-Wesley (1999)
11. Omicini, A., Denti, E.: Formal ReSpecT. Electronic Notes in Theoretical Computer Science 48 (2001) 179-196 Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000.
12. Dijkstra, E.: Co-operating Sequential Processes. Academic Press, London (1965)
13. Wyckoff, P., McLaughry, S.W., Lehman, T.J., Ford, D.A.: T Spaces. IBM Journal of Research and Development 37 (1998) 454-474
14. tuProlog: Home page. http://lia.deis.unibo.it/research/tuProlog/(2001)
15. Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19 (1992) 87-152
16. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for real-time programming. In: 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, ACM Press (1987) 178-188
17. Jacquet, J.M., De Bosschere, K., Brogi, A.: On timed coordination languages. In Porto, A., Roman, G.C., eds.: Coordination Languages and Models. Volume 1906 of LNCS., Springer-Verlag (2000) 81-98 4th International Conference (COORDINATION 2000), Limassol, Cyprus, 11-13 September 2000. Proceedings.
18. de Boer, F., Gabbrielli, M., Meo, M.C.: A Timed Linda language and its denotational semantics. Fundamenta Informaticae 63 (2004) 309-330
19. Denti, E., Natali, A., Omicini, A.: Programmable coordination media. In Garlan, D., Le Métayer, D., eds.: Coordination Languages and Models. Volume 1282 of LNCS., Springer-Verlag (1997) 274-288 2nd International Conference (COORDINATION'97), Berlin, Germany, 1-3 September 1997. Proceedings.
20. Ricci, A., Viroli, M.: A timed extension of ReSpecT. In: 2005 ACM Symposium on Applied Computing (SAC 2005), Santa Fe, NM, USA, ACM (2005) 420-427 Special Track on Coordination Models, Languages and Applications.