课题基金 / 基金详情

Session Types for Reliable Distributed Systems (STARDUST)

Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
批准号：
EP/T014709/1
负责人：
Nobuko Yoshida
金额：
$88.89万
依托单位：
Imperial College London
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2020
资助国家：
英国
项目状态：
已结题
起止时间：
2020 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FT014709%2F1
关键词：
SessionTypesReliableDistributedSystems

项目摘要

项目成果

Nobuko Yoshida的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes
Zooid：用于认证多方计算的 DSL：从机械化元理论到认证多方流程
DOI： 10.1145/3453483.3454041
发表时间： 2021
期刊：
影响因子： --
作者： [Castro-Perez D]
通讯作者： Castro-Perez D
Book review
书评
DOI： 10.1016/j.artint.2019.103175
发表时间： 2019
期刊： Artificial Intelligence
影响因子： 14.4
作者： [Halpern, Joseph Y.]
通讯作者： Halpern, Joseph Y.
Deadlock-free asynchronous message reordering in rust with multiparty session types
DOI： 10.1145/3503221.3508404
发表时间： 2021-12
期刊： Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
影响因子： --
作者： [Zak Cutner;N. Yoshida;Martin Vassor]
通讯作者： Zak Cutner;N. Yoshida;Martin Vassor
A SOUND ALGORITHM FOR ASYNCHRONOUS SESSION SUBTYPING AND ITS IMPLEMENTATION
一种完善的异步会话子类型算法及其实现
DOI： 10.23638/lmcs-17(1:20)2021
发表时间： 2021
期刊： LOGICAL METHODS IN COMPUTER SCIENCE
影响因子： 0.6
作者： [Bravetti Mario]
通讯作者： Bravetti Mario
共 7 条
    Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
    • 批准号：
      EP/N027833/2
    • 项目类别：
      Research Grant
    • 资助金额：
      $27.29万
    • 财政年份：
      2022
    • 负责人：
      Nobuko Yoshida
    • 依托单位：
      University of Oxford
    Session Types for Reliable Distributed Systems (STARDUST)
    • 批准号：
      EP/T014709/2
    • 项目类别：
      Research Grant
    • 资助金额：
      $76.44万
    • 财政年份：
      2022
    • 负责人：
      Nobuko Yoshida
    • 依托单位：
      University of Oxford
    POST: Protocols, Observabilities and Session Types
    • 批准号：
      EP/T006544/2
    • 项目类别：
      Fellowship
    • 资助金额：
      $158.39万
    • 财政年份：
      2022
    • 负责人：
      Nobuko Yoshida
    • 依托单位：
      University of Oxford
    POST: Protocols, Observabilities and Session Types
    • 批准号：
      EP/T006544/1
    • 项目类别：
      Fellowship
    • 资助金额：
      $186.39万
    • 财政年份：
      2020
    • 负责人：
      Nobuko Yoshida
    • 依托单位：
      Imperial College London
    国内基金
    海外基金
    Identification and quantification of primary phytoplankton functional types in the global oceans from hyperspectral ocean color remote sensing
    • 批准号：
      --
    • 项目类别：
      --
    • 资助金额：
      160万元
    • 批准年份：
      2022
    • 负责人：
      李忠平
    • 依托单位：
      厦门大学