Concurrent Constraints in the Fusion Calculus
Abstract:
We use the fusion calculus, a generalization and simplification of the
picalculus, to model concurrent constraint programming. In
particular we encode three basic variants of the rhocalculus, which
is a foundational calculus for the concurrent constraint programming
language Oz. Using a new reductionbased semantics and weak barbed
congruences for the fusion calculus we formally establish an
operational correspondence between the rhocalculi and their
encodings. These barbed congruences are shown to coincide with the
hyperequivalences previously adopted for the fusion calculus.
Extended abstract: In K.G. Larsen, S. Skyum and G. Winskel, eds, Proceedings of ICALP'98, volume 1443 of
Lecture Notes in Computer Science, pages 455469. SpringerVerlag, 1998. (Postscript, compressed)
See also these related papers:
[an error occurred while processing this directive]

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes,
by Joachim Parrow and Björn Victor, LICS'98.
[an error occurred while processing this directive]

Concurrent Constraints in the Fusion Calculus,
by Björn Victor and Joachim Parrow, ICALP'98.
[an error occurred while processing this directive]

The TauLaws of Fusion,
by Joachim Parrow and Björn Victor, CONCUR'98.
[an error occurred while processing this directive]

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes,
PhD thesis by Björn Victor.
[an error occurred while processing this directive]

Symbolic Characterizations and Algorithms for Hyperequivalence,
by Björn Victor, technical report DoCS 98/96.
[an error occurred while processing this directive]

Solos in Concert,
by Cosimo Laneve and Björn Victor, ICALP'99 / MSCS 13(5) 2003.
[an error occurred while processing this directive]

Solo Diagrams,
by Cosimo Laneve, Joachim Parrow and Björn Victor, TACS2001.
and Lucian Wischik's excellent overview of fusion research.
Björn Victor
Last modified: Mon, 11Jan1999 15:27 MET