Session Types for Reliable Distributed Systems (STARDUST)
Lead Research Organisation:
University of Oxford
Department Name: 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.
Organisations
People |
ORCID iD |
Nobuko Yoshida (Principal Investigator) |
Publications
Barbanera F
(2023)
Multicompatibility for Multiparty-Session Composition
Barwell A
(2023)
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Barwell A
(2023)
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Castro-Perez D
(2023)
Dynamically Updatable Multiparty Session Protocols (Artifact)
Gheri L
(2023)
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
in Proceedings of the ACM on Programming Languages
Gheri L
(2023)
Hybrid Multiparty Session Types -- Full Version
Yoshida N
(2024)
Active Object Languages: Current Research Trends