A new proposal of Concurrent Process Calculus


Salvador Lucas, Javier Oliver


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.


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