# From CSP to the pi calculus and back

Bill Roscoe ( Oxford University Computing Laboratory )

- 11:30 10th September 2008 ( Michaelmas Term 2008 )Fox Room

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.