Extended Abstrded Philippagaripp FusionMi (extended abstrded PhilippaGaripp Cosimo Laneve Lucian Wischik Mar h...  Home/Search
Context
Related
| doc.ic.ac.uk/~pg/papers/machine.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: doc.ic.ac.uk/~pg/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a newm del for the distributedimstrib tation of pilike calculi. Thism del is a closemos h to a variety of calculi, and so perm02 strong correctness results that are easy to prove. In particular, we describe a distributed abstractms hine called the fusion machnq . In it, only channels exist at runtim0 It uses aform of concurrent constraints called fusions---equations on channelnaml#0#05 h it stores as trees of forwarders between channels. We imH`B2# t in the fusionms hine a solos... (Update)
Active bibliography (related documents): More All
0.5: The Fusion Machine (Extended Abstract) - Gardner, Laneve, Wischik (Correct)
0.3: Explicit Fusions - Wischik, Gardner (2000) (Correct)
0.2: On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (Correct)
Similar documents based on text:
0.3: Linear Forwarders - Gardner, Laneve, Wischik (2003) (Correct)
0.1: Website Entries From a Web Log File Perspective - a New Log File.. - Mayr (2004) (Correct)
BibTeX entry: (Update)
@misc{ philippagaripp-unknown,
author = "Extended Abstrded Philippagaripp",
title = "Unknown",
url = "citeseer.ist.psu.edu/700726.html" }
Citations (may not include all citations):119 FACILE: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989
39 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier
34 Jocaml: Mobile agents for objective-caml - Conchon, Fessant
5 Solos in concert - Laneve, Victor ACM DBLP
3 Solo diagrams - Laneve, Parrow et al. - 2001 ACM DBLP
1 ExpvSg8 fusions (context) - Gardner, Wischik - 2000
1 Journal of Funcx9-U Programming (context) - Abadi, Cardelli et al. - 1991
1 AnimpIFfl8 tation model of rendezvous communication (context) - Cardelli - 1984
1 distributedimptribu tation of mobile ambients (context) - Fournet, Levy et al. - 2000
Documents on the same site (http://www.doc.ic.ac.uk/~pg/publications.html): More
Querying Trees with Pointers - Cardelli, Gardner, Ghelli (2003) (Correct)
Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)
Linear Forwarders - Gardner, Laneve, Wischik (2003) (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