Tom Chothia, Dominic Duggan  Home/Search
Context
Related
| stevenstech.edu/~dduggan/P...podsy.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: stevenstech.edu/~dduggan...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Applications are increasingly being developed over the Internet, and Internet programming languages seek new abstractions for programming what is in effect a "global computer." The characteristics of the evolving Internet environment have led to new ways of thinking about how to structure such global applications. We advocate a programming language approach to building Internet applications that reflects this change in viewpoint. This approach has a particular emphasis on the demands of... (Update)
Active bibliography (related documents): More All
0.5: The Local Area π-Calculus - Chothia (2003) (Correct)
0.5: Scooped, Again - Ledlie, Shneidman, Seltzer, Huth (2003) (Correct)
0.3: STUN - Simple Traversal of User Datagram Protocol.. - Rosenberg.. (2003) (Correct)
Similar documents based on text: More All
0.6: Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2003) (Correct)
0.5: Type-Based Distributed Access Control (Extended Abstract) - Chothia, Duggan, Vitek (2003) (Correct)
0.4: Principals, Policies and Keys in a Secure Distributed.. - Tom Chothia Stevens (Correct)
BibTeX entry: (Update)
@misc{ chothia-architecture,
author = "Tom Chothia and Dominic Duggan",
title = "An Architecture for Secure Fault-Tolerant Global Applications",
url = "citeseer.ist.psu.edu/648643.html" }
Citations (may not include all citations):739 Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
207 CORBA Fundamentals and Programming (context) - Siegel, Frantz et al. - 1996
174 Distributed programming in Argus (context) - Liskov - 1988
140 Experiences with the Amoeba distributed operating system - Tanenbaum, van Renesse et al. - 1990
100 Programming semantics for multiprogrammed computations - Dennis, van Horn - 1966
91 Atomic transactions (context) - Lampson - 1981
81 HYDRA: The kernel of a multiprocessor operating system (context) - Wulf, Cohen et al. - 1974
77 The Jini Specification (context) - Arnold, O'Sullivan et al. - 1999
76 The polyadic -calculus: A tutorial - Milner - 1993
74 Abstractions for mobile computation - Cardelli - 1999
65 A note on distributed computing - Waldo, Wyant et al. - 1997
63 Capability-based addressing (context) - Fabry - 1974
56 HTTP state management mechanism - Kristol, Montulli - 2000
53 Inheritance of synchronization and recovery properties in av.. (context) - Detlefs, Herlihy et al. - 1988
39 Proving concurrent constraint programs correct - de Boer, Gabbrielli et al. - 1998
33 the relationship between the atomic commitment and consensus.. - Hadzilacos - 1990
24 Rethinking the design of the Internet: The end to end argume.. (context) - Clark, Blumenthal - 2000
16 Secure communications processing for distributed languages - Abadi, Fournet et al. - 1999
10 Middleboxes: Taxonomy and issues (context) - Carpenter, Brim - 2002
10 Composing first-class transactions - Haines, Kindred et al. - 1994
9 On bisimulations for the asynchronous pi-calculus - Amadio, Castellani et al. - 1998
7 Cryptographic types - Duggan - 2002
6 the use of HTTP as a substrate (context) - Moore - 2002
5 Partial order and contextual net semantics for atomic and lo.. - Bueno, Hermenegildo et al. - 1998
3 Network address translator (nat)-friendly application design.. (context) - Senie - 2002
2 The Discrete Internet and what to do about it (context) - Duchamp - 2002
2 Computer system research: Past and future (context) - Lampson - 1999
1 COM+: The next generation (context) - Chappell - 1997
1 Session control protocol (scp (context) - Spero - 2002
1 Distributed objects: .NET versus Java (context) - Merrill - 2002
1 JavaBeans API Specification v1.01 (context) - Hamilton - 1997
1 in Foundations of Wide-Area Network Computing (context) - Abstractions, global - 2002
1 Distributed objects: The next ten years (context) - Black - 2002
Documents on the same site (http://guinness.cs.stevens-tech.edu/~dduggan/Public/Papers/index.html): More
Type-Safe Linking with Recursive DLLs and Shared Libraries - Duggan (2001) (Correct)
Type-Based Hot Swapping of Running Modules - Duggan (2001) (Correct)
Cryptographic Types - Duggan (2002) (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