Joachim Parrow, Björn Victor  Home/Search
Context Related
| sics.se/~joachim/taufusion.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: sics.se/~joachim/cv (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present complete axiomatizations of weak hypercongruence in the finite fragment of the fusion calculus, an extension and simplification of the -calculus. We treat both the full fusion calculus and the subcalculus without mismatch operators. The axiomatizations are obtained from the laws for hyperequivalence and adding so called tau-laws. These are similar to the well known tau-laws for CCS and the -calculus, but there is an interesting difference which highlights an aspect of the higher... (Update)
Context of citations to this paper: More
...weaker correspondence but uses no additional operators. 1 Introduction The fusion calculus was introduced by Parrow and Victor [15, 20, 16] as a simplification and extension of the calculus [6] The simplification is easy to see: there is only one binding operator where...
.... of message passing process algebras with the silent step have been carried out by Hennessy and Lin (1996) Lin (1995) and Parrow and Victor (1998). Contrary to our approach, these extensions take place in a variant of weak bisimulation semantics of Milner (1980) In the...
Cited by: More
Complete Axiomatisations of Weak-, Delay- and η-Bisimulation.. - Luttik (1999) (Correct)
The Fusion Calculus - Posse (Correct)
A Complete Axiomatisation of Branching Bisimulation for.. - Groote, Luttik (1998) (Correct)
Similar documents (at the sentence level): More
11.8%: The Fusion Calculus: Expressiveness and Symmetry in Mobile.. - Parrow, Victor (1998) (Correct)
11.4%: The Fusion Calculus: Expressiveness and Symmetry in Mobile.. - Parrow, Victor (1997) (Correct)
10.6%: Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (1998) (Correct)
Active bibliography (related documents): More All
0.3: Unique Fixpoint Induction for Message-Passing Process Calculi - Hennessy, Lin (1997) (Correct)
0.3: Unique Fixpoint Induction for Value-Passing Processes (Extended.. - Rathke (1997) (Correct)
0.2: Quantales And Observational Semantics - Resende (2000) (Correct)
Similar documents based on text: More All
0.3: Solo Diagrams - Laneve, Parrow, Victor (2001) (Correct)
0.1: Solos in Concert - Laneve, Victor (1999) (Correct)
0.1: Axiomatizing Prefix Iteration with Silent Steps - Aceto, Fokkink, van.. (1995) (Correct)
Related documents from co-citation: More All
3: The fusion calculus: Expressiveness and symmetry in mobile processes - Parrow, Victor - 1998
2: Concurrent constraints in the fusion calculus (context) - Victor, Parrow - 1998
2: Branching-Time and Abstraction in Bisimulation Semantics (context) - van Glabbeek, Weijland - 1989
BibTeX entry: (Update)
J. Parrow and B. Victor. The tau-laws of fusion. In Sangiorgi and de Simone [19], pages 99--114. http://citeseer.ist.psu.edu/254378.html More
@inproceedings{ parrow98taulaws,
author = "Joachim Parrow and Bjorn Victor",
title = "The Tau-Laws of Fusion",
booktitle = "International Conference on Concurrency Theory",
pages = "99-114",
year = "1998",
url = "citeseer.ist.psu.edu/254378.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
484 A Calculus of Communicating Systems (context) - Milner - 1980
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
61 The fusion calculus: Expressiveness and symmetry in mobile p.. - Parrow, Victor - 1997
42 Algebraic theories for name-passing calculi - Parrow, Sangiorgi - 1995
7 Concurrent constraints in the fusion calculus (context) - Victor, Parrow - 1998
5 The linear time -- branching time spectrum II; the semantics.. (context) - Glabbeek - 1993
3 Unique fixpoint induction for mobile processes - Lin - 1995
1 Symbolic characterizations and algorithms for hyperequivalen.. (context) - Victor - 1998
Documents on the same site (http://www.sics.se/~joachim/cv.html): More
Submodule Construction as Equation Solving in CCS - Joachim Parrow Swedish (1989) (Correct)
Designing a Multiway Synchronisation Protocol - Parrow, Sjödin (1996) (Correct)
The Update Calculus (Extended Abstract) - Parrow, Victor (1997) (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