Concurrent Constraints in the Fusion Calculus
1998 (English)In: Proceedings of ICALP'98 / [ed] Kim G. Larsen, Sven Skyum, Glynn Winskel, Berlin: Springer, 1998, 455-469 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Berlin: Springer, 1998. 455-469 p.
, Lectute notes in computer science, ISSN 0302-9743 ; 1443
IdentifiersURN: urn:nbn:se:uu:diva-74248DOI: 10.1007/BFb0055035ISBN: 3540647813OAI: oai:DiVA.org:uu-74248DiVA: diva2:102158
Automata, languages and programming : 25th international colloquium, ICALP '98, Aalborg, Denmark, July 13 - 17, 1998