On timed coordination languages

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

Volumn 1906, Issue , 2000, Pages 81-98

  Jacquet, J M ^a   De Bosschere, K ^b   Brogi, A ^c  

^a UNIVERSITY OF NAMUR   (Belgium)

^b GHENT UNIVERSITY   (Belgium)

^c UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSOLUTE POINTS; COMMUNICATION OPERATION; COMMUNICATION PRIMITIVES; COORDINATION LANGUAGE; COORDINATION MODEL; FOUR COORDINATION; RELATIVE TIME; SOFT REAL TIME;

SEMANTICS;

EID: 84979295315     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45263-x_6     Document Type: Conference Paper

References (31)

1. J.-M. Andreoli and R. Pareschi. Linear Objects: Logical Processes with Built-in Inheritance. New Generation Computing, 9 (3-4): 445-473, 1991.
2. F. Arbab, I. Herman, and P. Spilling. An Overview of Manifold and its Implementation. Concurrency: practice and experience, 5 (1): 23-70, 1993.
3. J. Banatre and D. LeMetayer. Programming by Multiset Transformation. Communications of the ACM, 36 (1): 98-111, 1991.
4. G. Berry and G. Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming, 19, 1992.
5. F. S. De Boer, M. Gabbrielli, and M. C. Meo. A Timed Concurrent Constraint Language. Information and Computation, pages 47-61, 2000. To appear.
6. A. Brogi and P. Ciancarini. The Concurrent Language Shared Prolog. ACM Transactions on Programming Languages and Systems, 13 (1): 99-123, January 1991.
7. N. Busi, R. Gorrieri, and G. Zavattaro. Process Calculi for Coordination: from Linda to JavaSpaces. In Proc. AMAST, Lecture Notes in Computer Science. Springer Verlag, 2000. To appear.
8. N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32 (4): 444-458, 1989.
9. P. Caspi, N. Halbwachs, P. Pilaud, and J. Plaice. Lustre: a Declarative Language for Programming Synchronous Systems. In Proc. POPL’87. ACM Press, 1987.
10. P. Ciancarini. Distributed Programming with Logic Tuple Spaces. New Generation Computing, 12 (3): 251-284, 1994.
11. P. Ciancarini and D. Rossi. Jada: Coordination and Communication for Java Agents. In Proc. 2nd International Workshop on Mobile Object Systems, volume 1222 of Lecture Notes in Computer Science, pages 213-228. Springer-Verlag, 1996.
12. F. S. de Boer and C. Palamidessi. Embedding as a Tool for Language Comparison. Information and Computation, 108 (1): 128-157, 1994.
13. K. de Bosschere and J.-M. Jacquet. μ2Log: Towards Remote Coordination. In P. Ciancarini and C. Hankin, editors, Proceedings of the Coordination Conference, volume 1061 of Lecture Notes in Computer Science, pages 142-159. Springer-Verlag, April 1996.
14. E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces: Principles, Patterns, and Practice. Addison-Wesley, 1999.
15. D. Gelernter and N. Carriero. Coordination Languages and Their Significance. Communications of the ACM, 35 (2): 97-107, 1992.
16. D. Harel. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, 8, 1987.
17. E. Horita, J. W. de Bakker, and J. J. M. M. Rutten. Fully abstract denotational models for nonuiform concurrent languages. Information and computation, 115 (1): 125-178, 1994.
18. J.-M. Jacquet and K. De Bosschere. On the Semantics of μLog. Future Generation Computer Systems, 10: 93-135, 1994.
19. F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Composition. In Proc. Concurr’92, volume 630 of Lecture Notes in Computer Science. Springer, 1992.
20. D. Gelernter, N. Carriero and L. Zuck. Bauhaus Linda. In In P. Ciancarini, O. Nierstrasz, and A. Yonezawa, editors, Object based models and languages for concurrent systems, volume 924 of Lecture Notes in Computer Science, pages 66-76. Springer-Verlag, 1994.
21. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 1998.
22. G. A. Papadopolous and F. Arbab. Coordination Models and Languages. Advances in Computers, 48, 1998.
23. A. Rowstron and A. Wood. A Set of Tuple Space Primitives for Distributed Coordination. In Proc. 30th Hawaii International Conference on System Sciences, volume 1, pages 379-388. IEEE Press, 1997.
24. V. Saraswat, R. Jagadeesan, and V. Gupta. Programming in Timed Concurrent Constraint Languages. In B. Mayoh, E. Tougu, and J. Penjam, editors, Computer and System Sciences, volume ASI-131 of NATO. Springer Verlag, 1994.
25. V. Saraswat, R. Jagadeesan, and V. Gupta. Timed Default Concurrent Constraint Programming. Journal of Symbolic Computation, 11, 1996.
26. V. A. Saraswat. Concurrent Constraint Programming Languages. The MIT Press, 1993.
27. E. Y. Shapiro. Embeddings among Concurrent Programming Languages. In W. R. Cleaveland, editor, Proceedings of CONCUR’92, pages 486-503. Springer-Verlag, 1992.
28. G. Smolka. The Oz Programming Model. In J. Van Leuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 324-343. Springer Verlag, 1995.
29. S. Tini. On the Expressiveness of Timed Concurrent Constraint Programming. Electronics Notes in Theoretical Computer Science, 1999.
30. R. Tolksdorf. Coordinating Services in Open Distributed Systems with LAURA. In P. Ciancarini and C. Hankin, editors, Coordination’96: First International Conference on Coordination Models and Languages, volume 1061 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
31. P. Wyckoff, S. W. McLaughry, T. J. Lehman, and D. A. Ford. TSpaces. IBM Systems Journal, 37 (3), 1998.