From lambda-calculus and pi-calculus to an abstract distributed machine

Prof. Bernard SerpetteINRIA Sophia Antipolis, Francia.

We will describe the lambda-calculus throw a translation to the SECD virtual machine. Next we will describe the pi-calculus with a simple implementation in Java. Finally we will implements the two introduced concepts, SECD machine and concurrency, in a minimalist distributed abstract machine.