Constraints for Free in Concurrent Computation (1995)
| Venue: | IN PROCEEDINGS OF THE ASIAN COMPUTER SCIENCE CONFERENCE, LNCS 1023 |
| Citations: | 20 - 6 self |
BibTeX
@INPROCEEDINGS{Niehren95constraintsfor,
author = {Joachim Niehren and Martin Müller},
title = {Constraints for Free in Concurrent Computation},
booktitle = {IN PROCEEDINGS OF THE ASIAN COMPUTER SCIENCE CONFERENCE, LNCS 1023},
year = {1995},
pages = {171--186},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We investigate concurrency as unifying computational paradigm which integrates functional, constraint, and object-oriented programming. We propose the ae-calculus as a uniform foundation of concurrent computation and formally relate it to other models: The ae- calculus with equational constraints provides for logic variables and is bisimilar to the fl-calculus. The ae-calculus without constraints is a proper subset of the -calculus. We prove its Turing completeness by embedding the eager -calculus in continuation passing style. The ae-calculus over an arbitrary constraint system is an extension of the standard cc-model with procedural abstraction.
