A new proposal of Concurrent Process Calculus

Author

Salvador Lucas, Javier Oliver

Abstract

In this paper, we present a new calculus to model concurrent systems, the Parallel Label-Selective lambda-calculus. This calculus integrates the (functional) expressiveness of the lambda-calculus in a unified framework with some powerful features for expressing communication actions and supporting the independence of processes which can be a main source of improvement when performing parallel computations.

Keywords

Concurrency, extensions of lambda-calculus, Functional Programming, Process Algebra.