University of Birmingham > Talks@bham > Theoretical computer science seminar > Multiparty session types and distributed systems

Multiparty session types and distributed systems

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

If you have a question about this talk, please contact Paul Levy.

I talk about an extension of the session types to multiparty, asynchronous interactions, which often arise in practical communication-centred applications. The theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario. A global type plays the role of “a shared agreement” among communication peers, and is used as a basis of efficient type checking through its projection onto individual peers. The fundamental properties of the session type discipline such as communication safety and session fidelity are established for general n-party asynchronous interactions.

I also talk about a summary of our recent collaborations based on multiparty session types, with industry partners and a major, long-term, NSF -funded program which provides a ultra large scale cyberinfrustracture for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics.

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.