Constraints for Free in Concurrent Computation


We investigate concurrency as unifying computational paradigm which integrates functional, constraint, and object-oriented programming. We propose the-calculus as a uniform foundation of concurrent computation and formally relate it to other models: The-calculus with equational constraints provides for logic variables and is bisimilar to the-calculus. The… (More)
DOI: 10.1007/3-540-60688-2_43