# Publication details

##
Constraints for Free in Concurrent Computation

Martin Müller, Joachim Niehren

Asian Computing Science Conference, pp. 171--186, springer, December 1995

We investigate concurrency as unifying computational paradigm which integrates functional, constraint, and object-oriented
programming. We propose the Rho-calculus as a uniform
foundation of concurrent computation and formally relate it
to other models: The Rho-calculus with equational constraints
provides for logic variables and is bisimilar to the
Gamma-calculus. The Rho-calculus without constraints
is a proper subset of the Pi-calculus. We prove its Turing
completeness by embedding the eager Lambda-calculus in
continuation passing style. The Rho-calculus over an
arbitrary constraint system is an extension of the standard
cc-model with procedural abstraction.

Download PDF
Show BibTeX

@INPROCEEDINGS{NiehrenMueller:Free,
title = {Constraints for Free in Concurrent Computation},
author = {Martin Müller and Joachim Niehren},
year = {1995},
month = {dec # { 11--13}},
editor = {{Kanchanasut, Kanchana and L\'{e}vy, Jean-Jacques}},
publisher = {springer},
booktitle = {Asian Computing Science Conference},
series = {"LNCS"},
pages = {{171--186}},
address = {{Phuket, Thailand}},
}

Login to edit

Legal notice, Privacy policy