权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Multiparty Session Types: Theory and Conversation-Oriented Programming

多方会话类型：理论和面向对话的编程

基本信息

批准号：
EP/G015481/1
负责人：
Kohei Honda
金额：
$ 43.63万
依托单位：
Queen Mary University of London
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2009
资助国家：
英国
起止时间：
2009 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FG015481%2F1
关键词：
Multiparty Session Types Theory Conversation

项目摘要

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）

Trustworthy Global Computing

值得信赖的全球计算

DOI：
10.1007/978-3-642-41157-1_7
发表时间：
2013
期刊：
影响因子：
0
作者：
Bocchi L
通讯作者：
Bocchi L

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

基于会话的并行算法编程：表现力和性能

DOI：
10.4204/eptcs.17.2
发表时间：
2010
期刊：
Electronic Proceedings in Theoretical Computer Science
影响因子：
0
作者：
Bejleri A
通讯作者：
Bejleri A

Formal Techniques for Distributed Systems

分布式系统的形式化技术

DOI：
10.1007/978-3-642-38592-6_5
发表时间：
2013
期刊：
影响因子：
0
作者：
Bocchi L
通讯作者：
Bocchi L

Synchronous Multiparty Session Types

DOI：
10.1016/j.entcs.2009.06.002
发表时间：
2009-07
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
0
作者：
Andi Bejleri;N. Yoshida
通讯作者：
Andi Bejleri;N. Yoshida

Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Web 服务和形式化方法 - 第 10 届国际研讨会，WS-FM 2013，中国北京，2013 年 8 月，修订后的精选论文

DOI：
10.1007/978-3-319-08260-8_3
发表时间：
2014
期刊：
影响因子：
0
作者：
Bocchi L
通讯作者：
Bocchi 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 }}

Kohei Honda其他文献

Synthesis of cage-shaped polymers by consecutive intramolecular cyclization of end-functionalized star-shaped polymer precursors

通过末端功能化星形聚合物前体连续分子内环化合成笼形聚合物

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Kohei Honda;Yoshinobu Mato;Takuya Isono;Takuya Yamamoto;Kenji Tajima;Toshifumi Satoh;磯野拓也；佐藤　悠介；佐藤　敏文;本田康平；磯野拓也；山本拓矢；田島健次；佐藤敏文;本田康平；磯野拓也；山本拓矢；田島健次；佐藤敏文;佐藤敏文;佐藤悠介；磯野拓也；佐藤敏文;本田康平；磯野拓也；山本拓矢；田島健次；佐藤敏文
通讯作者：
本田康平；磯野拓也；山本拓矢；田島健次；佐藤敏文

Synthesis of Amphiphilic Trefoil-shaped Block Copolyethers by Living Ring-opening Polymerization and Multiple Click Cylization

活性开环聚合和多次点击环化合成两亲性三叶形嵌段共聚醚

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Kohei Honda;Yoshinobu Mato;Takuya Isono;Takuya Yamamoto;Kenji Tajima;Toshifumi Satoh;磯野拓也；佐藤　悠介；佐藤　敏文;本田康平；磯野拓也；山本拓矢；田島健次；佐藤敏文;本田康平；磯野拓也；山本拓矢；田島健次；佐藤敏文;佐藤敏文;佐藤悠介；磯野拓也；佐藤敏文;本田康平；磯野拓也；山本拓矢；田島健次；佐藤敏文;本田康平；磯野拓也；山本拓矢；田島健次；佐藤敏文;佐藤敏文
通讯作者：
佐藤敏文