An introduction to pi-calculus

Add to your list(s) Download to your calendar using vCal

• Dominic Orchard (University of Cambridge)
• Friday 20 May 2016, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

If you have a question about this talk, please contact Philip Saville.

In this seminar, I’ll introduce the standard core pi-calculus, its syntax and semantics (both in reduction and labelled transition system) form, along with a brief exploration of different notions of behavioural equivalence for processes. I’ll then explain the relationship between the lambda calculus and pi calculus, showing the encoding of lambda terms into processes. Finally, I’ll explain the idea behind the session-typed variants of the pi-calculus, replaying the encoding of lambda->pi but now from simply-typed lambda terms to session-typed pi-terms.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.