Tom Chothia  Home/Search
Context
Related
| lix.polytechnique....iThesisTwosided.ps 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: lix.polytechnique.fr/~tomc/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: All computers on the Internet are connected, but not all connections are equal. Hosts are grouped into islands of local communication. It is the agreed conventions and shared knowledge that connect these islands, just as much as the switches and wires that run between them. (Update)
Active bibliography (related documents): More All
0.7: On the Expressive Power of Polyadic Synchronisation in.. - Carbone, Maffeis (2002) (Correct)
0.5: A Distributed Pi-Calculus with Local Areas of Communication - Chothia, Stark (2001) (Correct)
0.5: An Architecture for Secure Fault-Tolerant Global Applications - Chothia, Duggan (Correct)
Similar documents based on text: More All
0.3: Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2002) (Correct)
0.1: Games for Modal and Temporal Logics - Lange (2002) (Correct)
0.1: A Distributed π-Calculus with Local Areas of Communication - Chothia, Stark (2001) (Correct)
BibTeX entry: (Update)
@misc{ chothia-local,
author = "Tom Chothia",
title = "The Local Area π-Calculus",
url = "citeseer.ist.psu.edu/chothia03local.html" }
Citations (may not include all citations):254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
232 The concurrency workbench: A semantics-based tool for the ve.. - Cleaveland, Parrow et al. - 1993
129 Internet protocol (context) - Deering, Hinden - 1998
94 Seal: A Framework for Secure Mobile Computations - Castagna, Vitek - 1999
69 Boxed Ambients - Bugliesi, Castagna et al. - 2001
62 Modal Logics for Mobile Ambient (context) - Cardelli, Gordon et al. - 2000
61 The IP Network Address Translator (context) - Egevang, Francis - 1994
54 Handbook of Process Algebra (context) - Bergstra, Ponse et al. - 2001
46 Secrecy and Group Creation - Cardelli, Ghelli et al. - 2000
45 Asynchrony and the -Calculus (context) - erard - 1992
41 The OSI Reference Model (context) - Day, Zimmermann - 1983
34 Jocaml: Mobile Agents for Objective-Caml - Conchon, Le Fessant - 1999
34 Theoretical Computer Science (context) - Amadio, Castellani et al. - 1998
32 A Protocol for Packet Network Interconnection (context) - Cerf, Kahn - 1974
28 Mobile Ambients (context) - Cardelli, Gordon - 1998
24 Secrecy by typing in security protocols (context) - Abadi - 1999
22 the SECD-machine and the -calculus (context) - Felleisen, Friedman - 1986
19 A hierarchy of equivalences for asynchronous calculi (context) - Fournet, Gonthier - 1998
11 the expressive power of polyadic synchronisation in -calcul.. - Carbone, Ma et al. - 2002
10 Modelling IP mobility - Amadio, Prasad - 1998
6 The Re exive CHAM and the Join-Calculus (context) - edric, Georges - 1996
5 Calculus with Local Areas of Communication (context) - Chothia, Stark et al. - 2000
3 Control ow analysis for the pi-calculus (context) - Bodei, Degano et al. - 1998
2 Available electonically from Elsevier Preprint (context) - Amadio, Mobility et al. - 1999
2 Lecture Notes in Computer Science (context) - Castagna, Ghelli et al. - 2001
2 The Discrete Internet and What to do About It (context) - Duchamp - 2002
2 Encoding Distributed Areas and Local Communication into the .. - Chothia, Stark - 2001
1 and Cedric Lhoussaine (context) - Amadio, Boudol - 1999
Documents on the same site (http://www.lix.polytechnique.fr/~tomc/): More
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (Correct)
Guessing Attacks in the pi-calculus with a Computational.. - Chothia (Correct)
Guessing Attacks in the pi-calculus with a Computational.. - Chothia (2005) (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