![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Pierre-Malo Deniélou, Imperial College, London
Wednesday 04 April 2012, 10:00-11:00
Multiparty Session Types Meet Communicating Automata
⚠️ Important: This talk has been canceled/deleted
- 👤 Speaker: Pierre-Malo Deniélou, Imperial College, London
- 📅 Date & Time: Wednesday 04 April 2012, 10:00 - 11:00
- 📍 Venue: Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
Questions? Contact
Microsoft Research Cambridge Talks Admins
Abstract
We extend Multiparty session types with expressive forking, merging and joining protocol constructs, while still ensuring properties such as communication safety, boundedness and liveness on distributed processes by type checking. We give a direct semantical connection to communicating finite state machines (CFSM) which allows us to identify a new class of CFS Ms that automatically enjoy the aforementioned properties, generalising Gouda et al’s work [GMY84] (for two machines) to an arbitrary number of machines.
Series This talk is part of the Microsoft Research Cambridge, public talks series.
Included in Lists
This talk is not included in any other list.
Note: Ex-directory lists are not shown.