Peter Sewell  Home/Search
Context
Related
| cl.cam.ac.uk/users/...mathfitslides.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: cl.cam.ac.uk/users/pes2...mathfit (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine M ß-LTS testing C C behaviour (idealised) SOS C-behaviour \Gamma l ` P print!"Hello" \Gamma! P 0 C printh"Hello";ffli \Gamma! C 0 SOS C-behaviour \Gamma l ` P 6 \Gamma! SOS in test harness P returnh ffl;ffl i \Gamma! C returnh ffl;ffl i \Gamma! Non-refusable communication C behaviours must satisfy 1. If c f harg;resi \Gamma! c 1 then 8res 0 : 9c 0 : c f harg;res 0 i \Gamma! c 0 . No external nondeterminism 1. If c 1 c l 1 l 2 , c 2 then either l 1 = l 2 = ... (Update)
Active bibliography (related documents): More All
0.3: Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
0.2: Global/Local Subtyping and Capability Inference for a Distributed .. - Sewell (1998) (Correct)
0.1: Control Flow Analysis for the pi-calculus - Bodei, Degano, Nielson, Nielson (1998) (Correct)
Similar documents based on text: More All
0.1: Location-Independent Communication for Mobile Agents.. - Sewell.. (1998) (Correct)
0.0: Distribution - Department Of Energy (Correct)
0.0: Querying Large Class Collections - Gibbs (1990) (Correct)
BibTeX entry: (Update)
@misc{ sewell-foundations,
author = "Peter Sewell",
title = "Foundations of Distributed Programming Languages",
url = "citeseer.ist.psu.edu/sewell98foundation.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
61 Localities and failures - Amadio, Prasad - 1994
42 Distributed processes and location failures - Riely, Hennessy - 1997
32 Location independence for mobile agents - Sewell, Wojciechowski et al. - 1998
30 A calculus for cryptographic protocols: The spi calculus (context) - Abadi, Gordon - 1997
13 Towards a calculus of mobile computations (context) - Vitek, Castagna - 1998
6 local subtyping for a distributed ß-calculus (context) - Sewell - 1997
1 Available from http://www (context) - Pierce, Turner et al. - 1998
Documents on the same site (http://www.cl.cam.ac.uk/users/pes20/mathfit.html):
A Calculus of Mobile Agents - Fournet, Gonthier, Lévy, Maranget.. (1996) (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