Constraints for Free in Concurrent Computation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1995

Constraints for Free in Concurrent Computation

Joachim Niehren
Martin Müller


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.
Fichier principal
Vignette du fichier
ConstraintsFree95.pdf (263.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00536813 , version 1 (18-11-2010)


  • HAL Id : inria-00536813 , version 1


Joachim Niehren, Martin Müller. Constraints for Free in Concurrent Computation. Asian Computing Science Conference, 1995, Pathumthani, Thailand. pp.171--186. ⟨inria-00536813⟩
49 View
123 Download


Gmail Facebook X LinkedIn More