Cosimo Laneve, Joachim Parrow, Björn Victor  Home/Search
Context Related
Links: ACM DBLP | cs.unibo.it/~laneve/papers/sd.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: cs.unibo.it/~laneve/html...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We address the problems of implementing the replication operator eciently in the solos calculus|a calculus of mobile processes without pre x. This calculus is expressive enough to admit an encoding of the whole fusion calculus and thus the -calculus. We show that nested occurrences of replication can be avoided, that the size of replicated terms can be limited to three particles, and that the usual unfolding semantics of replication can be replaced by three simple reduction rules. (Update)
Context of citations to this paper: More
...# collapses each equivalence class to its one element. A single processor implementation of solos has been described [9]. However, it seems di#cult to make a distributed implementation. This is because its reaction is not local: the channel manager at u must look in...
Cited by: More
Explicit Fusions - Wischik, Gardner (2000) (Correct)
Unknown - Extended Abstrded Philippagaripp (Correct)
The Fusion Machine (Extended Abstract) - Gardner, Laneve, Wischik (Correct)
Similar documents (at the sentence level):
54.3%: Solo Diagrams - Laneve, Parrow, Victor (2001) (Correct)
Active bibliography (related documents): More All
0.3: Solos in Concert - Laneve, Victor (1999) (Correct)
0.3: On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (Correct)
0.3: New Directions in Implementing the Pi Calculus - Wischik (2002) (Correct)
Similar documents based on text: More All
0.4: Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (1998) (Correct)
0.3: The Fusion Calculus: Expressiveness and Symmetry in Mobile.. - Parrow, Victor (1997) (Correct)
0.3: Bisimulations in the Join-Calculus - Fournet, Laneve (1999) (Correct)
Related documents from co-citation: More All
2: Solos in concert - Laneve, Victor - 1999
2: Explicit fusions - Gardner, Wischik - 2000
2: distributed implementation of mobile ambients (context) - Fournet, evy et al. - 2000
BibTeX entry: (Update)
C. Laneve, J. Parrow, and B. Victor. Solo diagrams. In TACS 2001, LNCS 2215:127--144. http://citeseer.ist.psu.edu/article/laneve01solo.html More
@article{ laneve01solo,
author = "Cosimo Laneve and Joachim Parrow and Bj{\"o}rn Victor",
title = "Solo Diagrams",
journal = "Lecture Notes in Computer Science",
volume = "2215",
pages = "127--??",
year = "2001",
url = "citeseer.ist.psu.edu/article/laneve01solo.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991 ACM DBLP
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 2000
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
194 Functions as processes (context) - Milner - 1992
149 calculus: A tutorial (context) - Milner - 1993
109 Interaction nets (context) - Lafont - 1990 ACM DBLP
75 The geometry of optimal lambda reduction - Gonthier, Abadi et al. - 1992 ACM DBLP
61 The fusion calculus: Expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998 DBLP
56 INRIA Sophia-Antipolis (context) - Boudol, the et al. - 1992
31 Theoretical Computer Science (context) - Bellin, Scott et al. - 1994 ACM
22 Graph notation for concurrent combinators - Yoshida - 1995 ACM DBLP
18 The re exive chemical abstract machine and the join-calculus (context) - Fournet, Gonthier - 1996
14 A proof-theoretical approach to communication (context) - Fu - 1997
9 Trios in concert - Parrow - 2000 ACM
8 Mathematical Structures in Computer Science (context) - Sangiorgi, bisimulation - 1998
5 Solos in concert - Laneve, Victor - 1999 ACM DBLP
4 Nordic Journal of Computing (context) - Parrow - 1995
2 Journal of Computer Science and Technology (context) - Fu - 1998
2 Pi-nets: A graphical form of -calculus (context) - Milner - 1994
1 submitted for journal publication (context) - Laneve, Victor et al. - 2001
Documents on the same site (http://www.cs.unibo.it/~laneve/html/papers.html): More
Interaction Systems - Asperti, Laneve (1993) (Correct)
The Discriminating Power of Multiplicities in the Lambda-Calculus - Boudol, Laneve (1996) (Correct)
Mobility in the Cc-Paradigm - Laneve, Montanari (1992) (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