Cédric Fournet, Cosimo Laneve  Home/Search
Context Related
Links: ACM DBLP | cs.unibo.it/pub/laneve/bisim.ps.gz 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 develop a theory of bisimulation in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact of the lexical scope discipline of the join-calculus on its extensional semantics. We propose several formulations of bisimulation and establish that all formulations yield the same equivalence. We prove that this equivalence is finer than barbed congruence, but that both relations coincide in the presence of name ... (Update)
Cited by: More
Flat Committed Join in Join - Bruni, Melgratti, Montanari (2003) (Correct)
Similar documents (at the sentence level):
8.8%: Bisimulations in the Join-Calculus - Boreale, Fournet, Laneve (1997) (Correct)
Active bibliography (related documents): More All
0.6: A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (Correct)
0.4: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
0.4: The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) (Correct)
Similar documents based on text: More All
0.7: Inheritance in the Join Calculus (Extended Abstract) - Fournet, Laneve, Maranget, .. (Correct)
0.5: Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2001) (Correct)
0.4: A Type System for JVM Threads - Laneve (2002) (Correct)
BibTeX entry: (Update)
Fournet, C. and C. Laneve, Bisimulations in the join-calculus, Theoret. Comput. Sci. 266 (2001), pp. 569--603. http://citeseer.ist.psu.edu/article/fournet99bisimulations.html More
@inproceedings{ fournet98bisimulations,
author = "C{\'e}dric Fournet and Michele Boreale and Cosimo Laneve",
title = "Bisimulations in the Join Calculus",
booktitle = "Proceedings of the {IFIP} Working Conference on Programming Concepts, Methods and Calculi ({PROCOMET})",
year = "1998",
url = "citeseer.ist.psu.edu/article/fournet99bisimulations.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
291 A calculus of mobile agents - Fournet, Gonthier et al. ACM DBLP
248 Expressing Mobility (context) - Sangiorgi - 1993
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
115 An asynchronous model of locality (context) - Amadio - 1997
76 The polyadic -calculus: a tutorial - Milner - 1993
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
70 On asynchronous communication semantics - Honda, Tokoro - 1992 ACM DBLP
61 weak bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
60 On asynchrony in name-passing calculi - Merro, Sangiorgi ACM DBLP
59 The name discipline of uniform receptiveness - Sangiorgi
56 INRIA Sophia-Antipolis (context) - Boudol, the et al. - 1992
47 On bisimulations for the asynchronous -calculus - Amadio, Castellani et al. - 1998
44 Proof techniques for cryptographic processes - Boreale, De Nicola et al. - 1999 ACM DBLP
42 Distributed processes and location failures - Riely, Hennessy ACM DBLP
38 The Join-Calculus: a Calculus for Distributed Mobile Program.. (context) - Fournet - 1998
27 the expressiveness of internal mobility in name-passing calc.. (context) - Boreale - 1998
24 a la ML for the join-calculus (context) - Fournet, Laneve et al. - 1997
22 Bisimulation in name-passing calculi without matching (context) - Boreale, Sangiorgi ACM DBLP
21 The mobility workbench -- a tool for the -calculus (context) - Victor, Moller - 1994
20 A hierarchy of equivalences for asynchronous calculi - Fournet, Gonthier ACM DBLP
19 Secure implementation of channel abstractions - Abadi, Fournet et al. ACM DBLP
16 Bisimulations in the join-calculus - Boreale, Fournet et al. - 1998 ACM DBLP
15 May and must testing in the join-calculus - Laneve - 1996 ACM
10 Some congruence properties for - calculus bisimilarities (context) - Boreale, Sangiorgi - 1998
10 the expressive power of joint input (context) - Nestmann - 1998
9 Source distribution and documentation available from http://.. (context) - Fournet, Maranget et al. - 1997
6 Revised version of Technical Report ECS--LFCS (context) - Sangiorgi, bisimulation - 1994
6 volume 1256 of Lecture Notes in Computer Science (context) - Degano, Gorrieri et al. - 1997
4 The Gamma model and its discipline of programming (context) - Banatre, Le M'etayer - 1990 ACM DBLP
3 Checking bisimilarity for finitary - calculus (context) - Montanari, Pistore - 1995
2 and Glynn Winskel (context) - Larsen, Skyum - 1998
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