From CSP to the pi calculus and back

In a previous seminar I showed that every operator with a "CSP-like" operational semantics could be translated into CSP and therefore given a semantics over CSP models.

In this talk I will discuss CCS, a mobile parallel operator for CSP, and the pi calculus. In particular I will show how to give a denotational semantics for the +-free pi calculus into any model of CSP.