From CSP to the pi calculus and back

Bill Roscoe (Oxford University Computing Laboratory)

Info

Date	10th September 2008 (week , Michaelmas Term 2008)
Time	11:30
Place	Fox Room

Abstract

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.