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
关键词：
Session Types Reliable Distributed Systems

项目摘要

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.

GTR目前尚未用于所有资助研究的摘要。这通常是因为提交提案时不需要摘要，但可能是因为它包含了敏感信息，例如个人详细信息。

项目成果

期刊论文数量（10）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)

设计具有紧急停止故障的异步多方协议（工件）

DOI：
10.4230/darts.9.2.9
发表时间：
2023
期刊：
影响因子：
0
作者：
Barwell A
通讯作者：
Barwell A

Multicompatibility for Multiparty-Session Composition

多方会话组合的多重兼容性

DOI：
10.1145/3610612.3610614
发表时间：
2023
期刊：
影响因子：
0
作者：
Barbanera F
通讯作者：
Barbanera F

Dynamically Updatable Multiparty Session Protocols (Artifact)

动态可更新的多方会话协议（Artifact）

DOI：
10.4230/darts.9.2.10
发表时间：
2023
期刊：
影响因子：
0
作者：
Castro-Perez D
通讯作者：
Castro-Perez D

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures

设计具有紧急停止故障的异步多方协议

DOI：
10.48550/arxiv.2305.06238
发表时间：
2023
期刊：
影响因子：
0
作者：
Barwell A
通讯作者：
Barwell A

Hybrid Multiparty Session Types -- Full Version

混合多方会话类型 - 完整版

DOI：
10.48550/arxiv.2302.01979
发表时间：
2023
期刊：
影响因子：
0
作者：
Gheri L
通讯作者：
Gheri L

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Nobuko Yoshida其他文献

Systematic peptide fragmentation of polyvinylidene difluoride(PVDF)-immobilized proteins prior to microsequencing.

在微测序之前对聚偏二氟乙烯 (PVDF) 固定的蛋白质进行系统肽片段化。

DOI：
发表时间：
1996
期刊：
Journal of Biochemistry (Tokyo)
影响因子：
0
作者：
Akihiro Iwamatsu;Nobuko Yoshida
通讯作者：
Nobuko Yoshida

Multiparty Session Programming with Global Protocol Combinators (oral communication)

使用全局协议组合器的多方会话编程（口头交流）

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Keigo Imai;Rumyana Neykova;Nobuko Yoshida;Shoji Yuen
通讯作者：
Shoji Yuen

Session Typed Programming with Poles and Lenses

使用极点和镜头进行会话类型编程

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Keigo Imai;Shoji Yuen;Nobuko Yoshida
通讯作者：
Nobuko Yoshida

Event structures for the reversible early internal <em>π</em>-calculus

DOI：
10.1016/j.jlamp.2021.100720
发表时间：
2022-01-01
期刊：
Research article
影响因子：
作者：
Eva Graversen;Iain Phillips;Nobuko Yoshida
通讯作者：
Nobuko Yoshida

Removal of sialic acid from mucin-like surface molecules of <em>Trypanosoma cruzi</em> metacyclic trypomastigotes enhances parasite-host cell interaction

DOI：
10.1016/s0166-6851(96)02783-1
发表时间：
1997-01-01
期刊：
Research article
影响因子：
作者：
Nobuko Yoshida;Miriam L Dorta;Alice T Ferreira;Maria E.M Oshiro;Renato A Mortara;Alvaro Acosta-Serrano;Silvio Favoreto
通讯作者：
Silvio Favoreto