Motivation The number of computers in our society is increasing exponentially, and wireless/wired network technologies are vastly increasing connectivity. Constructing distributed software for these systems has focussed research interest on distributed and mobile programming languages. Compared to conventional distributed languages, functional languages offer a more dynamic programming model: task