Concurrent Constraints in the Fusion Calculus

Abstract

We use the fusion calculus, a generalization and simpliication of the-calculus, to model concurrent constraint programming. In particular we encode three basic variants of the-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… (More)
DOI: 10.1007/BFb0055075

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics