See this document in CiteSeerX!

Abstractions for Fault-Tolerant Wide-Area Network Programming Languages  (Make Corrections)  
Dominic Duggan



  Home/Search   Context   Related

 
View or download:
cuiwww.unige.ch/~ecoopws/w...duggan.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cui.unige.ch/~ecoopws/ws0...index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: . Wide-area computation is a recent area of research, concerned with (Update)


Active bibliography (related documents):   More   All
1.0:   Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2003)   (Correct)
0.1:   D'Agents: Applications and Performance of a.. - Gray, Cybenko, Kotz.. (2001)   (Correct)
0.1:   A Distributed Content-Based Search Engine Based on - Mobile Code Volker   (Correct)

Similar documents based on text:   More   All
0.3:   Abstractions for Component-Based Programming with Dynamic.. - Dominic Duggan Dept (2001)   (Correct)
0.3:   Cryptographic Types - Duggan (2002)   (Correct)
0.2:   Sharing in Typed Module Assembly Language - Duggan (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ duggan-abstractions,
  author = "Dominic Duggan",
  title = "Abstractions for Fault-Tolerant Wide-Area Network Programming Languages",
  url = "citeseer.ist.psu.edu/440569.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985
1933   Communication and Concurrency (context) - Milner - 1989
1363   The Common Object Request Broker: Architecture and Specifica.. (context) - Group
739   Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985
673   Actors: A Model of Concurrent Computation in Distributed SYs.. (context) - Agha - 1988
470   Lightweight causal and atomic group multicast (context) - Birman, Schiper et al. - 1991
410   Mobile ambients - Cardelli, Gordon - 1998
404   A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
361   Reliable communication in the presence of failures (context) - Birman, Joseph - 1987
310   Transis: A communication sub-system for high availability - Amir, Dolev et al. - 1992
294   An object calculus for asynchronous communication - Honda, Tokoro - 1991
291   A calculus of mobile agents - Fournet, Gonthier et al. - 1996
264   Knowledge and common knowledge in a distributed environment - Halpern, Moses - 1990
264   A language with distributed scope - Cardelli - 1995
248   Expressing Mobility (context) - Sangiorgi - 1992
221   Nested Transactions: An Approach to Reliable Distributed Com.. (context) - Moss - 1985
214   Preserving and using context information in interprocess com.. - Peterson, Bucholz et al. - 1989
201   Telescript technology: The foundation for the electronic mar.. (context) - White - 1994
196   Programming and Deploying Java Mobile Agents with Aglets (context) - Lange, Oshima - 1998
174   Distributed programming in Argus (context) - Liskov - 1988
149   calculus: A tutorial (context) - Milner, p- - 1993
126   Types for mobile ambients - Cardelli, Gordon - 1999
123   PLAN: A packet language for active networks - Hicks, Kakkar et al. - 1998
111   Firewalls and Internet Security: Repelling the Wily Hacker (context) - Cheswick, Bellovin - 1994
91   Atomic transactions (context) - Lampson - 1981
89   Implementing fault-tolerant services using the state-machine.. (context) - Schneider - 1990
77   The Jini Specification (context) - Arnold, O'Sullivan et al. - 1999
75   Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 1999
74   Abstractions for mobile computation - Cardelli - 1999
73   The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
72   Ambient groups and mobility types - Cardelli, Ghelli et al. - 2000
65   A note on distributed computing - Waldo, Wyant et al. - 1997
62   A calculus of higher order communicating systems (context) - Thomsen - 1989
53   Inheritance synchronization and recovery propertie avalonc++ (context) - Herlihy, of et al. - 1988
42   Distributed processes and location failures - Riely, Hennessy - 1997
40   Dynamic class loading in the Java virtual machine (context) - Liang - 1998
39   The implementation of reliable distributed multiprocess syst.. (context) - Lamport - 1978
38   Type-safe execution of mobile agents in anonymous networks - Riely, Hennessy - 1999
33   the relationship between the atomic commitment and consensus.. - Hadzilacos - 1990
25   DCOM technical overview (context) - Corporation - 1996
24   Crash Recovery in a Distributed Database System (context) - Skeen - 1982
23   and Alan Fekete (context) - Lynch, Merritt et al. - 1994
15   A calculus of secure mobile computations - Castagna, Vitek - 1999
13   IEEE Network Special Issue on Active and Controllable Networ.. (context) - Alexander, Arbaugh et al. - 1998
8   Asynchronous process calculi: The first-order and higher-ord.. - Sangiorgi - 1999
7   ACM Transactions on Programming Languages and Systems (context) - Haines, Kindred et al. - 1994
6   Mobile agent applicability (context) - Johanssen - 1998
2   The next generation (context) - Chappell - 1997
1   Overview of Voyager: ObjectSpace's Family for State-of-the-A.. (context) - Inc - 1999

Documents on the same site (http://cui.unige.ch/~ecoopws/ws00/index.html):   More
Comparing Object Oriented Mobile Agent Systems - Gschwind (2000)   (Correct)
On the Trade-Off Between Communication and Trust.. - Piessens, De..   (Correct)
On the use of Threads in Mobile Object Systems - Eddy (2000)   (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