The agenda for the seminar is listed below.
Speaker: Ross Horne
Title: Multi-party Compatibility for Scribble with Synchronisation
The development of the Scribble language was lead by the late Kohei Honda at Queen Mary as a prototype of his line of work on multi-party session types. The Scribble language can be used for the design and verification of protocols. In this talk, we consider an extension of Scribble with synchronisation. For this extension, we provide a novel semantics based on recent developments in proof theory. From the semantics we obtain: a notion of multi-party compatibility, which tells us when parties in a protocol can communicate together successfully; and a notion of sub-typing to compare the relative strengths of protocols.
For more details, please go to the link
Venue: Eng. 216
Time and Date: 2 to 3 PM, Wednesday, 11/11/15.
Any comments, advice would be appreciated.