课题基金 / 基金详情

Session Types for Reliable Distributed Systems (STARDUST)

Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
批准号：
EP/T014709/2
负责人：
Nobuko Yoshida
金额：
$76.44万
依托单位：
University of Oxford
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2022
资助国家：
英国
项目状态：
未结题
起止时间：
2022 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FT014709%2F2
关键词：
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)
会议论文
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
设计具有紧急停止故障的异步多方协议（工件）
DOI： 10.4230/darts.9.2.9
发表时间： 2023
期刊：
影响因子： --
作者： [Barwell A]
通讯作者： Barwell A
Multicompatibility for Multiparty-Session Composition
多方会话组合的多重兼容性
DOI： 10.1145/3610612.3610614
发表时间： 2023
期刊：
影响因子： --
作者： [Barbanera F]
通讯作者： Barbanera F
Dynamically Updatable Multiparty Session Protocols (Artifact)
动态可更新的多方会话协议（Artifact）
DOI： 10.4230/darts.9.2.10
发表时间： 2023
期刊：
影响因子： --
作者： [Castro-Perez D]
通讯作者： Castro-Perez D
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
设计具有紧急停止故障的异步多方协议
DOI： 10.48550/arxiv.2305.06238
发表时间： 2023
期刊：
影响因子： --
作者： [Barwell A]
通讯作者： Barwell A
共 9 条
    Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
    • 批准号：
      EP/N027833/2
    • 项目类别：
      Research Grant
    • 资助金额：
      $27.29万
    • 财政年份：
      2022
    • 负责人：
      Nobuko Yoshida
    • 依托单位：
      University of Oxford
    POST: Protocols, Observabilities and Session Types
    • 批准号：
      EP/T006544/2
    • 项目类别：
      Fellowship
    • 资助金额：
      $158.39万
    • 财政年份：
      2022
    • 负责人：
      Nobuko Yoshida
    • 依托单位：
      University of Oxford
    Session Types for Reliable Distributed Systems (STARDUST)
    • 批准号：
      EP/T014709/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $88.89万
    • 财政年份：
      2020
    • 负责人：
      Nobuko Yoshida
    • 依托单位：
      Imperial College London
    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
    • 负责人：
      李忠平
    • 依托单位：
      厦门大学