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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

An introduction to pi-calculus

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

'Three Tales' pre-performance talks JDB Seminar Room, Department of Engineering. Pavilion Room, Hughes Hall, Cambridge CB1 2EW

Other talks

Group Work Unveiling the curtain with ukubuyisa or go lata: complicated roles of museums and nation states in the cultural repatriation discourse and practice in southern Africa Secrets of the Surface: The Mathematical Vision of Maryam Mirzakhani ( EDI Film Screening) Security Cooperation within Government and between Governments Title to be confirmed Using numerical simulations for solving spectral geometry problems
 

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