Multiparty Session Types: Theory and Conversation-Oriented Programming
Multiparty Session Types: Theory and Conversation-Oriented Programming
多方会话类型：理论和面向对话的编程
批准号：
EP/G015481/1
负责人：
Kohei Honda
金额：
$43.63万
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2009
资助国家：
英国
项目状态：
已结题
起止时间：
2009 至 --
中文摘要
翻译
目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。
英文摘要
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)
会议论文
登录
查看更多内容
Trustworthy Global Computing
值得信赖的全球计算
值得信赖的全球计算
DOI：
10.1007/978-3-642-41157-1_7
发表时间：
2013
期刊：
影响因子：
--
作者：
[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
影响因子：
--
作者：
[Bejleri A]
通讯作者：
Bejleri A
Formal Techniques for Distributed Systems
分布式系统的形式化技术
分布式系统的形式化技术
DOI：
10.1007/978-3-642-38592-6_5
发表时间：
2013
期刊：
影响因子：
--
作者：
[Bocchi L]
通讯作者：
Bocchi L
DOI：
10.1016/j.entcs.2009.06.002
发表时间：
2009-07
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
--
作者：
[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 月，修订后的精选论文
Web 服务和形式化方法 - 第 10 届国际研讨会，WS-FM 2013，中国北京，2013 年 8 月，修订后的精选论文
DOI：
10.1007/978-3-319-08260-8_3
发表时间：
2014
期刊：
影响因子：
--
作者：
[Bocchi L]
通讯作者：
Bocchi L
共 9 条
Engineering Foundations of Web Services: Theories and Tool Support
-
批准号：EP/F002114/1
-
项目类别：Research Grant
-
资助金额：$35.71万
-
财政年份：2007
-
负责人：Kohei Honda
-
依托单位：
Workshop on Business Processes and Software Standard: Theory and Infrastructural Foundations.
-
批准号：EP/F029799/1
-
项目类别：Research Grant
-
资助金额：$3.4万
-
财政年份：2007
-
负责人：Kohei Honda
-
依托单位：
海外基金