Pattern matching over a dynamic network of tuple spaces

Lecture Notes in Computer Science

Volumn 3535, Issue , 2005, Pages 1-14

  De Nicola, Rocco ^a   Gorla, Daniele ^b   Pugliese, Rosario ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; DATA ACQUISITION; DATA PROCESSING; CALCULATIONS; FORMAL METHODS;

ASYNCHRONOUS COMMUNICATION; CONTINUATION PROCESS; PROCESS MOBILITY; REMOTE OPERATIONS; COMPUTATIONAL PARADIGM; DISTRIBUTED TUPLE SPACES; EXPRESSIVE POWER; PROCESS DISTRIBUTION; REMOTE OPERATION; SHARED DATA SPACES;

PATTERN MATCHING;

EID: 26444478637     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494881_1     Document Type: Conference Paper

References (16)

1. L. Bettini, R. De Nicola, G. Ferrari, and R. Pugliese. Interactive Mobile Agents in X-KLAIM. In P. Ciancarini and R. Tolksdorf, editors, Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pages 110-115. IEEE Computer Society Press, 1998.
2. L. Bettini, R. De Nicola, and R. Pugliese. KLAVA: a Java Package for Distributed and Mobile Applications. Software - Practice and Experience, 32:1365-1394, 2002.
3. L. Cardelli. Abstractions for mobile computation. In J. Vitek and C. Jensen, editors, Secure Internet Programming: Security Issues for Mobile and Distributed Objects, number 1603 in LNCS, pages 51-94. Springer, 1999.
4. S. Chaudhuri. More Choices Allow More Faults: Set Consensus Problems in Totally Asynchronous Systems. Information and Computation, 105(1):132-158, 1993.
5. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315-330, 1998.
6. R. De Nicola, G. Ferrari, and R. Pugliese. Programming Access Control: The KLAIM Experience. In C. Palamidessi, editor, Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00), volume 1877 of LNCS, pages 48-65. Springer-Verlag, 2000.
7. R. De Nicola, D. Gorla, and R. Pugliese. Basic observables for a calculus for global computing. Research Report 07/2004, Dipartimento di Informatica, Università di Roma "La Sapienza". Available at http://www.dsi.uniroma1.it/~gorla/publications.htm.
8. R. De Nicola, D. Gorla, and R. Pugliese. On the expressive power of KLAIM-based calculi. Research Report 09/2004, Dipartimento di Informatica, Università di Roma "La Sapienza". Available at http://www.dsi.uniromal.it/~gorla/publications.htm. An extended abstract appeared in Proc. of EXPRESS'04, ENTCS.
9. R. De Nicola, D. Gorla, and R. Pugliese. Global computing in a dynamic network of tuple spaces. In J. Jacquet and G. Picco, editors, Proc. of COORDINATION'05, number 3454 in LNCS, pages 157-172. Springer, 2005.
10. R. De Nicola and M. Hennessy. Testing equivalence for processes. Theoretical Computer Science, 34:83-133, 1984.
11. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
12. D. Gelernter. Multiple Tuple Spaces in Linda. In J. G. Goos, editor, Proceedings, PARLE '89, volume 365 of LNCS, pages 20-27, 1989.
13. D. Gorla. Semantic Approaches to Global Computing Systems. PhD thesis, Dip. Sistemi ed Informatica, Univ. di Firenze, 2004.
14. F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings of POPL '00, pages 352-364. ACM, 2000.
15. F. Orava and J. Parrow. An algebraic verification of a mobile network. Journal of Formal Aspects of Computing, 4:497-543, 1992.
16. J. Parrow. An introduction to the pi-calculus. In J. Bergstra, A. Ponse, and S. Smolka, editors, Handbook of Process Algebra, pages 479-543. Elsevier Science, 2001.