Distribution and mobility with lexical scoping in process calculi

Electronic Notes in Theoretical Computer Science

Volumn 16, Issue 3, 1998, Pages 189-204

  Vasconcelos, Vasco T ^a   Lopes, Luís ^b   Silva, Fernando ^b  

^a UNIVERSITY OF LISBON   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL METHODS; CONSTRAINT THEORY; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; PROCESS CONTROL; SEMANTICS;

CODE MOBILITY; LEXICAL SCOPING; PROCESS CALCULI; WEB LANGUAGES;

MOBILE COMPUTING;

EID: 0012717860     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00142-2     Document Type: Conference Paper

References (18)

1. Roberto M. Amadio. An asynchronous model of locality, failure, and process mobility. In COORDINATION'97, volume 1282 of LNCS, pages 374-391. Springer-Verlag, 1997. Full version as Rapport Interne, LIM Marseille, and Rapport de Recherche RR-3109, INRIA Sophia-Antipolis, 1997.
2. Nanette Boden J., et al. Myrinet: A gigabit per second local area network. IEEE-Micro. 15:(1):February 1995;29-36
3. Gérard Boudol. The pi-calculus in direct style. In 24th ACM Symposium on Principles of Programming Languages, pages 228-241. ACM Press, 1997.
4. Cardelli Luca. A language with distributed scope. Computing Systems. 8:(1):January 1995;27-59
5. Luca Cardelli and Andrew D. Gordon. Mobile ambients. In FoSSaCS'98, volume 1378 of LNCS, pages 140-155, 1998.
6. Cédric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the join-calculus. In 23rd ACM Symposium on Principles of Programming Languages, pages 372-385. ACM Press, 1996.
7. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Ugo Montanari and Vladimiro Sassone, editors, Proceedings of CONCUR '96, volume 1119 of LNCS, pages 406-421. Springer, 1996.
8. Matthew Hennessy and James Riely. Resource access control in systems of mobile agents. Technical Report 2, Computer Science, University of Sussex, February 1998.
9. Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In 5th European Conference on Object-Oriented Programming, volume 512 of LNCS, pages 141-162. Springer-Verlag, 1991.
10. Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 122-138. Springer-Verlag, 1998.
11. Luís Lopes, Fernando Silva, and Vasco T. Vasconcelos. Compiling process calculi. DCC 98-3, DCC-FC & LIACC, Universidade do Porto, March 1998.
12. Milner Robin, Parrow Joachim, Walker David. A calculus of mobile processes, I and II. Information and Computation. 100:1992;1-77
13. Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. CSCI Technical Report 476, Indiana University, March 1997.
14. James Riely and Matthew Hennessy. Distributed processes and location failures. In Pierpaolo Degano, Roberto Gorrieri, and Alberto Marchetti-Spaccamela, editors, Proceedings of ICALP '97, volume 1256 of LNCS, pages 471-481. Springer, 1997. Full version as Report 2/97, University of Sussex, Brighton.
15. James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. Technical Report 4, Computer Science, University of Sussex, July 1998.
16. P. Sewell, P. Wojciechowski, and B. Pierce. Location independence for mobile agents. In Workshop on Internet Programming Languages, 1998.
17. Vasco T. Vasconcelos and Rui Bastos. Core-TyCO, the language definition, version 0.1. DI/FCUL TR 98-3, Department of Computer Science, University of Lisbon, March 1998.
18. Vasco T. Vasconcelos and Mario Tokoro. A typing system for a calculus of objects. In Ist ISOTAS, volume 742 of LNCS, pages 460-474. Springer-Verlag, November 1993.