Formal Verification of Higher-Order Open Systems
Formal Verification of Higher-Order Open Systems
高阶开放系统的形式化验证
批准号：
22300005
负责人：
SUMII Eijiro
金额：
$9.4万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2010
资助国家：
日本
项目状态：
已结题
起止时间：
2010-04-01 至 2015-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Sound Bisimulations for Higher-Order Distributed Process Calculus
高阶分布式过程微积分的声音互模拟
高阶分布式过程微积分的声音互模拟
DOI：
--
发表时间：
2011
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Adrien Pierard, Eijiro Sumii]
通讯作者：
Eijiro Sumii
A Higher-Order Distributed Calculus with Name Creation
具有名称创建的高阶分布式微积分
具有名称创建的高阶分布式微积分
DOI：
10.1109/lics.2012.63
发表时间：
2012
期刊：
Proceedings of Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
[Adrien Pierard, Eijiro Sumii]
通讯作者：
Eijiro Sumii
A Simple and Practical Linear Algebra Library with Static Size Checking
一个简单实用的具有静态大小检查的线性代数库
一个简单实用的具有静态大小检查的线性代数库
DOI：
--
发表时间：
2014
期刊：
Proceedings of The OCaml Users and Developers Workshop
影响因子：
--
作者：
[Akinori Abe, Eijiro Sumii]
通讯作者：
Eijiro Sumii
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation
具有引用和解除分配的无类型 lambda 演算中上下文属性的类似互模拟的证明方法
具有引用和解除分配的无类型 lambda 演算中上下文属性的类似互模拟的证明方法
DOI：
--
发表时间：
2010
期刊：
Theoretical Computer Science
影响因子：
1.1
作者：
[S. Nakamura, Y. Midorikawa, M. Nakatsu, et al., Eijiro Sumii]
通讯作者：
Eijiro Sumii
DOI：
10.1016/j.entcs.2011.09.023
发表时间：
2011-09
期刊：
影响因子：
--
作者：
[Vasileios Koutavas;P. Levy;Eijiro Sumii]
通讯作者：
Vasileios Koutavas;P. Levy;Eijiro Sumii
共 8 条
Studies for Non-Monotone Recursion
-
批准号：25540001
-
项目类别：Grant-in-Aid for Challenging Exploratory Research
-
资助金额：$2.33万
-
财政年份：2013
-
负责人：SUMII Eijiro
-
依托单位：
A unified theory and application of information hiding by program verification
-
批准号：18680003
-
项目类别：Grant-in-Aid for Young Scientists (A)
-
资助金额：$10.15万
-
财政年份：2006
-
负责人：SUMII Eijiro
-
依托单位：