University of Cambridge > Talks.cam > Logic & Semantics for Dummies > An introduction to pi-calculus

An introduction to pi-calculus

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity