Concurrent Constraints in the Fusion Calculus

Björn Victor and Joachim Parrow

Abstract:

We use the fusion calculus, a generalization and simplification of the pi-calculus, to model concurrent constraint programming. In particular we encode three basic variants of the rho-calculus, which is a foundational calculus for the concurrent constraint programming language Oz. Using a new reduction-based semantics and weak barbed congruences for the fusion calculus we formally establish an operational correspondence between the rho-calculi 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 455-469. Springer-Verlag, 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 Tau-Laws 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.