Skip to Main content Skip to Navigation
Conference papers

Constraints for Free in Concurrent Computation

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/inria-00536813
Contributor : Joachim Niehren <>
Submitted on : Thursday, November 18, 2010 - 5:34:03 PM
Last modification on : Tuesday, October 31, 2017 - 2:22:18 PM
Long-term archiving on: : Saturday, February 19, 2011 - 2:50:23 AM

Files

ConstraintsFree95.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00536813, version 1

Citation

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

Share

Metrics

Record views

131

Files downloads

244