See this document in CiteSeerX!

Unknown  (Make Corrections)  
Extended Abstrded Philippagaripp FusionMi (extended abstrded PhilippaGaripp Cosimo Laneve Lucian Wischik Mar h...



  Home/Search   Context   Related

 
View or download:
doc.ic.ac.uk/~pg/papers/machine.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  doc.ic.ac.uk/~pg/publications (more)
(Enter author homepages)

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

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