![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > Multiparty Session Types Meet Communicating Automata
![]() Multiparty Session Types Meet Communicating AutomataAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins. This talk has been canceled/deleted 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. This talk is part of the Microsoft Research Cambridge, public talks series. This talk is included in these lists:This talk is not included in any other list Note that ex-directory lists are not shown. |
Other listsLand Economy Seminar Series Martin Centre Research Seminar Series - 43rd Annual Series of Lunchtime Lectures Optoelectronics GroupOther talksParacelsus' Chickens - Strange Tales from the History of Chemistry Exploring the Galaxy's alpha-element abundances and globular cluster populations with hydrodynamic simulations The statistical model of nuclear fission: from Bohr-Wheeler to heavy-ion fusion-fission reactions "Itsa me! Luigi!" [citation needed] - unlocking your referencing skills CANCELLED DUE TO STRIKE ACTION Recent advances in understanding climate, glacier and river dynamics in high mountain Asia The formation of high density dust rings and clumps: the role of vorticity |