Cosimo Laneve, Joachim Parrow, Björn Victor  Home/Search
Context Related
Links: ACM DBLP | cs.unibo.it/~laneve/papers/graphs.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: . The calculus of solos is the pre x-less subcalculus of the fusion calculus: it contains only atomic communication actions and the operators for parallel and scoping. It is expressive enough to admit an encoding of the whole fusion calculus. We here present a graphic representation of agents in the solo calculus, adapting ideas from interaction diagrams and pi-nets. Our so-called solo diagrams are less complicated than these and clarify the important aspects, for example structural... (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):
47.8%: Solo Diagrams - Laneve, Parrow, Victor (2001) (Correct)
Active bibliography (related documents): More All
0.5: Information Society Technologies - Ist Programme Contract (Correct)
0.3: Synchronous Modeling and Asynchronous Deployment of Mobile.. - Talpin (2000) (Correct)
0.3: Synchronous Modeling and Asynchronus Deployment of Mobile Processes - Talpin (Correct)
Similar documents based on text: More All
0.4: Solos in Concert - Laneve, Victor (2002) (Correct)
0.2: lambda-Calculus, Multiplicities and the pi-Calculus - Boudol, al. (1995) (Correct)
0.2: May and Must Testing in the Join-Calculus - Laneve (1996) (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/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/laneve01solo.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992 ACM
248 Expressing Mobility (context) - Sangiorgi - 1993
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
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
22 Graph notation for concurrent combinators - Yoshida - 1995 ACM DBLP
14 A proof-theoretical approach to communication (context) - Fu - 1997
9 Trios in concert - Parrow - 2000 ACM
3 Also published as LFCS report ECS-LFCS (context) - Bellin, Scott et al. - 1994
3 Solos in concert (context) - Laneve, Victor - 1999 ACM DBLP
2 Journal of Computer Science and Technology (context) - Fu - 1998
2 Pi-nets: A graphical form of -calculus (context) - Milner - 1994
2 extended abstract (context) - Milner, the - 1991
1 on linear logic and ludics. The Linear Summer School (context) - Girard - 2000
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