Multiparty Session Types: Theory and Conversation-Oriented Programming
Lead Research Organisation:
Queen Mary University of London
Department Name: Sch of Electronic Eng & Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Publications
Alves N
(2011)
Secure Execution of Distributed Session Programs
in Electronic Proceedings in Theoretical Computer Science
Bejleri A
(2009)
Synchronous Multiparty Session Types
in Electronic Notes in Theoretical Computer Science
Bejleri A
(2010)
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
in Electronic Proceedings in Theoretical Computer Science
Bocchi L
(2013)
Formal Techniques for Distributed Systems
Bocchi L
(2013)
Trustworthy Global Computing
Bocchi L
(2017)
Monitoring networks through multiparty session types
in Theoretical Computer Science
Carbone M
(2012)
Structured Communication-Centered Programming for Web Services
in ACM Transactions on Programming Languages and Systems
Carbone M
(2009)
Formal Methods for Web Services
Description | This grant was originally directed by Dr Kohei Honda, working in close collaboration with Prof Nobuko Yoshida on EPSRC grant no EP/G015635/1. Findings are joint between the two grants. We have discovered applications of Multiparty Session Types the Ocean Observatories Initiative project, The Scribble protocol language developed by us are used by Red Hat. The research funded on this grant is applied to testable architectures in Cognizant and runtime verification in VMware. |
Exploitation Route | Please see response for EP/G015635/1. The Scribble Protocol Language we developed is based on the Multiparty Session Types theory. We have an implementation of runtime verification in Python celery framework, and developed applications of session types to parallel programming in the Session C framework. |
Sectors | Digital/Communication/Information Technologies (including Software),Financial Services, and Management Consultancy |
URL | http://mrg.doc.ic.ac.uk/ |
Description | This grant was originally directed by Dr Kohei Honda. After his untimely death his work has been continued by Prof Nobuko Yoshida at Imperial. Development of an open source projects, Scribble at Red Hat and Savara at Cognizant; also applications to Ocean Observatories Initiative (NSF project in US for developing a large cyberinfrustructure for ocean observations). We taught our languages and their applications at several places in Europe, UK and US. |
First Year Of Impact | 2013 |
Sector | Digital/Communication/Information Technologies (including Software),Environment,Financial Services, and Management Consultancy |
Impact Types | Economic,Policy & public services |