Session Types for Reliable Distributed Systems (STARDUST)
Session Types for Reliable Distributed Systems (STARDUST)
可靠分布式系统的会话类型 (STARDUST)
批准号：
EP/T014512/1
负责人：
Laura Bocchi
金额：
$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.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Dynamically Updatable Multiparty Session Protocols (Artifact)
动态可更新的多方会话协议（Artifact）
动态可更新的多方会话协议（Artifact）
DOI：
10.4230/darts.9.2.10
发表时间：
2023
期刊：
影响因子：
--
作者：
[Castro-Perez D]
通讯作者：
Castro-Perez D
DOI：
10.4230/lipics.ecoop.2023.6
发表时间：
2023
期刊：
影响因子：
--
作者：
[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 日，会议记录
分布式对象、组件和系统的形式技术 - 第 42 届 IFIP WG 6.1 国际会议，FORTE 2022，作为第 17 届国际分布式计算技术联合会会议的一部分举行，DisCoTec 2022，意大利卢卡，2022 年 6 月 13-17 日，会议记录
DOI：
10.1007/978-3-031-08679-3_3
发表时间：
2022
期刊：
影响因子：
--
作者：
[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 日，会议记录
协调模型和语言 - 第 24 届 IFIP WG 6.1 国际会议，COORDINATION 2022，作为第 17 届国际分布式计算技术联合会会议的一部分举行，DisCoTec 2022，意大利卢卡，2022 年 6 月 13-17 日，会议记录
DOI：
10.1007/978-3-031-08143-9_9
发表时间：
2022
期刊：
影响因子：
--
作者：
[Bocchi L]
通讯作者：
Bocchi L
A model of actors and grey failures
演员和灰色失败的模型
演员和灰色失败的模型
DOI：
10.46298/lmcs-19(4:13)2023
发表时间：
2023
期刊：
Logical Methods in Computer Science
影响因子：
0.6
作者：
[Bocchi L]
通讯作者：
Bocchi L
共 9 条
Time-sensitive protocol design and implementation
-
批准号：EP/N035372/1
-
项目类别：Research Grant
-
资助金额：$12.89万
-
财政年份：2017
-
负责人：Laura Bocchi
-
依托单位：
国内基金
海外基金
Identification and quantification of primary phytoplankton functional types in the global oceans from hyperspectral ocean color remote sensing
-
批准号：--
-
项目类别：--
-
资助金额：160万元
-
批准年份：2022
-
负责人：李忠平
-
依托单位：