 However, the lambda calculus does not offer any explicit constructs for parallelism.One can add constructs such as Futures to the lambda calculus.Other process calculi have been developed for describing communication and concurrency.