Luís Lopes, Alvaro Figueira, Fernando Silva, Vasco T. Vasconcelos  Home/Search
Context Related
| di.fc.ul.pt/~vv/paper...cluster2000.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.fc.ul.pt/~vv/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. Objects and messages migrate towards the site where their prefixes are lexically bound. Class definitions, on the other hand, are downloaded from the site where they are defined, and are instantiated locally upon arrival. We provide several programming examples to demonstrate the expressiveness of the model. Finally,... (Update)
Cited by: More
Typing Migration Control in lsdπ - Martins, Ravara (Correct)
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Similar documents (at the sentence level):
51.0%: A Concurrent Programming Environment with Support.. - Lopes, Figueira.. (2000) (Correct)
5.0%: DiTyCO: an Experiment in Code Mobility from the Realm of.. - Lus Lopes Fernando (1999) (Correct)
Active bibliography (related documents): More All
0.4: Fine Grained Multithreading with Process Calculi - Lopes, Silva (2000) (Correct)
0.2: A Virtual Machine for a Process Calculus - Lus Lopes Fernando (Correct)
0.1: DCP: A Case Study in Distributed Programming with Domains - Lacoste (Correct)
Similar documents based on text: More All
0.8: TyCO + Linear channels - Martins, Vasconcelos (2001) (Correct)
0.3: Compiling Object Calculi - Lopes, Silva, Vasconcelos (1998) (Correct)
0.3: A Framework for Compiling Object Calculi - Lopes, Silva, Vasconcelos (1997) (Correct)
Related documents from co-citation: More All
3: ACM. 26th Annual Symposium on Principles of Programming Languages (POPL) (San Antonio, TX), 1999.
2: calculus: A tutorial (context) - Milner, ss- - 1993
2: Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
BibTeX entry: (Update)
Lus Lopes, Alvaro Figueira, Fernando Silva, and Vasco Vasconcelos. A concurrent programming environment with support for distributed computations and code mobility. Technical Report DCC-2000-5, DCC - FC & LIACC, Universidade do Porto, June 2000. (extended version of the paper presented at Cluster'2000). http://citeseer.ist.psu.edu/lopes00concurrent.html More
@misc{ lopes00concurrent,
author = "L. Lopes and A. Figueira and F. Silva and V. Vasconcelos",
title = "A concurrent programming environment with support for distributed computations
and code mobility",
text = "Lus Lopes, Alvaro Figueira, Fernando Silva, and Vasco Vasconcelos.
A concurrent programming environment with support for distributed computations
and code mobility. Technical Report DCC-2000-5, DCC - FC & LIACC, Universidade
do Porto, June 2000. (extended version of the paper presented at Cluster'2000).",
year = "2000",
url = "citeseer.ist.psu.edu/lopes00concurrent.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
410 Mobile Ambients - Cardelli, Gordon - 1998
404 A Calculus for Cryptographic Protocols: the Spi-Calculus - Abadi, Gordon - 1997
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991
291 A Calculus of Mobile Agents - Fournet, Gonthier - 1996
264 A Language with Distributed Scope - Cardelli - 1995
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
200 Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner - 1997
120 IEEE Transactions on Software Engineering (context) - Fuggetta, Picco et al. - 1998
116 A Typed Language for Distributed Mobile Processes - Riely, Hennessy - 1998
94 Seal: A Framework for Secure Mobile Computations - Vitek, Castagna - 1999
66 Language Primitives and Type Disciplines for Structured Comm.. - Honda, Vasconcelos et al. - 1998
59 A Typing System for a Calculus of Objects - Vasconcelos, Tokoro - 1993
32 Location Independence for Mobile Agents - Sewell, Wojciechowski et al. - 1998
28 German Research Center for Artificial Intelligence (context) - Mehl, Scheidhauer et al. - 1995
18 Distribution and Mobility with Lexical Scoping - Vasconcelos, Lopes et al. - 1998
16 A Virtual Machine for the TyCO Process Calculus (context) - Lopes, Silva et al. - 1999
9 Core-TyCO - The Language Definition (context) - Vasconcelos, Bastos - 1998
6 the Design and Implementation of a Virtual Machine for Proce.. - Lopes - 1999
3 Di pSystem: a Parallel Programming System for Distributed Me.. (context) - Silva, Paulino et al. - 1999
2 Clusters with Supercomputing APIs and Performance (context) - High, Machines - 1997
Documents on the same site (http://www.di.fc.ul.pt/~vv/publications.html): More
A Typing System for a Calculus of Objects - Vasconcelos, Tokoro (1993) (Correct)
Predicative Polymorphism in π-Calculus - Vasconcelos (1994) (Correct)
Typed Concurrent Objects - Vasconcelos (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC