Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
基本信息
- 批准号:EP/T014512/1
- 负责人:
- 金额:$ 70.73万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2020
- 资助国家:英国
- 起止时间:2020 至 无数据
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
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)
Dynamically Updatable Multiparty Session Protocols (Artifact)
动态可更新的多方会话协议(Artifact)
- DOI:10.4230/darts.9.2.10
- 发表时间:2023
- 期刊:
- 影响因子:0
- 作者:Castro-Perez D
- 通讯作者:Castro-Perez D
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols
- DOI:10.4230/lipics.ecoop.2023.6
- 发表时间:2023
- 期刊:
- 影响因子:0
- 作者:David Castro-Perez;N. Yoshida
- 通讯作者:David Castro-Perez;N. Yoshida
Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
分布式对象、组件和系统的形式技术 - 第 42 届 IFIP WG 6.1 国际会议,FORTE 2022,作为第 17 届国际分布式计算技术联合会会议的一部分举行,DisCoTec 2022,意大利卢卡,2022 年 6 月 13-17 日,会议记录
- DOI:10.1007/978-3-031-08679-3_3
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Bocchi L
- 通讯作者:Bocchi L
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
协调模型和语言 - 第 24 届 IFIP WG 6.1 国际会议,COORDINATION 2022,作为第 17 届国际分布式计算技术联合会会议的一部分举行,DisCoTec 2022,意大利卢卡,2022 年 6 月 13-17 日,会议记录
- DOI:10.1007/978-3-031-08143-9_9
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Bocchi L
- 通讯作者:Bocchi L
A model of actors and grey failures
演员和灰色失败的模型
- DOI:10.46298/lmcs-19(4:13)2023
- 发表时间:2023
- 期刊:
- 影响因子:0.6
- 作者:Bocchi L
- 通讯作者:Bocchi L
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Laura Bocchi其他文献
Laura Bocchi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Laura Bocchi', 18)}}的其他基金
Time-sensitive protocol design and implementation
时间敏感的协议设计和实现
- 批准号:
EP/N035372/1 - 财政年份:2017
- 资助金额:
$ 70.73万 - 项目类别:
Research Grant
相似国自然基金
相似海外基金
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
- 批准号:
EP/T014709/2 - 财政年份:2022
- 资助金额:
$ 70.73万 - 项目类别:
Research Grant
CAREER: Building Reliable Distributed Systems with Refinement Types
职业:构建具有细化类型的可靠分布式系统
- 批准号:
2145367 - 财政年份:2022
- 资助金额:
$ 70.73万 - 项目类别:
Continuing Grant
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
- 批准号:
EP/T014709/1 - 财政年份:2020
- 资助金额:
$ 70.73万 - 项目类别:
Research Grant
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
- 批准号:
EP/T014628/1 - 财政年份:2020
- 资助金额:
$ 70.73万 - 项目类别:
Research Grant
Creating a Reliable, Usable, Web Language with Full Spectrum Gradual Types
创建一种可靠、可用、具有全谱渐变类型的 Web 语言
- 批准号:
487427-2016 - 财政年份:2018
- 资助金额:
$ 70.73万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Proactive responses to crises in emerging economies: a Development of reliable prediction models for various types of crises
积极应对新兴经济体的危机:a 开发针对各类危机的可靠预测模型
- 批准号:
16K17124 - 财政年份:2017
- 资助金额:
$ 70.73万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Creating a Reliable, Usable, Web Language with Full Spectrum Gradual Types
创建一种可靠、可用、具有全谱渐变类型的 Web 语言
- 批准号:
487427-2016 - 财政年份:2017
- 资助金额:
$ 70.73万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Creating a Reliable, Usable, Web Language with Full Spectrum Gradual Types
创建一种可靠、可用、具有全谱渐变类型的 Web 语言
- 批准号:
487427-2016 - 财政年份:2016
- 资助金额:
$ 70.73万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Experimental Software Systems: Collaborative Research: Applications of Flow Types in the Efficient, Modular, and Reliable Compilation of Higher-Order Typed Languages
实验软件系统:协作研究:流类型在高阶类型语言高效、模块化、可靠编译中的应用
- 批准号:
9806745 - 财政年份:1998
- 资助金额:
$ 70.73万 - 项目类别:
Standard Grant
Experimental Software Systems: Collaborative Research: Applications of Flow Types in the Efficient, Modular, and Reliable Compilation of Higher-Order Typed Languages
实验软件系统:协作研究:流类型在高阶类型语言高效、模块化、可靠编译中的应用
- 批准号:
9806746 - 财政年份:1998
- 资助金额:
$ 70.73万 - 项目类别:
Standard Grant