Lexically scoped distribution: What you see is what you get

Electronic Notes in Theoretical Computer Science

Volumn 85, Issue 1, 2003, Pages 61-79

  Ravara, António ^a   Matos, Ana G ^b   Vasconcelos, Vasco T ^c   Lopes, Luís ^d  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b INRIA   (France)

^c UNIVERSITY OF LISBON   (Portugal)

^d UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER NETWORKS; COMPUTER PROGRAMMING; LINEAR ALGEBRA; MATHEMATICAL MODELS; MOBILE COMPUTING;

DISTRIBUTED MOBILE SYSTEMS; DISTRIBUTED PROGRAMMING; MOBILE CALCULI; PROCESS MIGRATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 18944401258     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80088-X     Document Type: Conference Paper

References (13)

1. Amadio Roberto M., Boudol Gérard, Lhoussaine Cédric. The receptive distributed π-calculus. Rapport de Recherche 4080, INRIA Sophia-Antipolis. 2000
2. Cardelli Luca. A language with distributed scope. In ACM, editor, POPL'95: 22nd Annual ACM Symposium on Principles of Programming Languages (San Francisco, CA, U.S.A.). 1995;286-297 ACM Press
3. Hennessy Matthew, Merro Massimo, Rathke Julian. Towards a behavioural theory of access and mobility control in distributed systems. In Andrew Gordon, editor, FOSSACS'03: 6th International Conference on Foundations of Software Science and Computation Structures (Warsaw, Poland), volume 2620 of Lecture Notes in Computer Science. 2003;282-298 Springer-Verlag. Available as Technical Report COGS 2002:1, University of Sussex, U. K., 2002.
4. Hennessy Matthew, Riely James. Resource access control in systems of mobile agents. Journal of Information and Computation. 173:2002;82-120
5. J. Roger Hindley, P. Jonathan. Seldin Introduction to Combinators and λ-Calculus. Cambridge University Press
6. Milner Robin. The polyadic π-calculus: A tutorial. Logic and Algebra of Specification volume 94 of Series F. 1993;Springer-Verlag. Available as Technical Report ECS-LFCS-91-180, University of Edinburgh, U. K., 1991.
7. Milner Robin, Parrow Joachim, Walker David. A calculus of mobile processes, part I/II. Journal of Information and Computation. 100:1992;1-77. Available as Technical Reports ECS-LFCS-89-85 and ECS-LFCS-89-86, University of Edinburgh, U. K. 1989
8. De Nicola Rocco, Luigi Ferrari Gian, Pugliese Rosario. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering. 24:(5):1998;315-330
9. De Nicola Rocco, Ferrari GianLuigi, Pugliese Rosario, Veneri Betti. Types for access control. Theoretical Computer Science. 240:(1):2000;215-254
10. António Ravara, Ana G. Matos, Vasco T. Vasconcelos, and Luís Lopes. A lexically scoped distributed π-calculus. DI/FCUL TR 02-4, Department of Computer Science, University of Lisbon. 2002
11. Sangiorgi Davide, Walker David. The π-calculus: a Theory of Mobile Processes. 2001;Cambridge University Press
12. Vasconcelos Vasco T., Honda Kohei. Principal typing schemes in a polyadic π-calculus. Best Eike. Proceedings of CONCUR '93, volume 715 of Lecture Notes in Computer Science. 1993;524-538 Springer-Verlag
13. Vasconcelos Vasco T., Lopes Luís, Silva Fernando. Distribution and mobility with lexical scoping in process calculi. HLCL'98, volume 16 (3) of Electronic Notes in Theoretical Computer Science. 1998;Elsevier Science Publishers