Formal Verification of Higher-Order Open Systems

高阶开放系统的形式化验证

基本信息

  • 批准号：
    22300005
  • 负责人：
    SUMII Eijiro
  • 金额：
    $ 9.4万
  • 依托单位：
    Tohoku University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2010
  • 资助国家：
    日本
  • 起止时间：
    2010-04-01 至 2015-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Sound Bisimulations for Higher-Order Distributed Process Calculus
高阶分布式过程微积分的声音互模拟
A Higher-Order Distributed Calculus with Name Creation
具有名称创建的高阶分布式微积分
A Simple and Practical Linear Algebra Library with Static Size Checking
一个简单实用的具有静态大小检查的线性代数库
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation
具有引用和解除分配的无类型 lambda 演算中上下文属性的类似互模拟的证明方法
  • DOI：
  • 发表时间：
    2010
  • 期刊：
    Theoretical Computer Science
  • 影响因子：
    1.1
  • 作者：
    S. Nakamura;Y. Midorikawa;M. Nakatsu;et al.;Eijiro Sumii
  • 通讯作者：
    Eijiro Sumii
From Applicative to Environmental Bisimulation
  • DOI：
    10.1016/j.entcs.2011.09.023
  • 发表时间：
    2011-09
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Vasileios Koutavas;P. Levy;Eijiro Sumii
  • 通讯作者：
    Vasileios Koutavas;P. Levy;Eijiro Sumii
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

SUMII Eijiro其他文献

Polymorphic Gradual Typing with Holes
带孔的多态渐进打字
COVID-19感染症拡大状況下におけるエナジードリンクおよび間食の摂取習慣とストレス対処との関連
COVID-19感染传播下能量饮料和零食的消费习惯与压力管理的关系
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    KIM Jaebyeog;SUMII Eijiro;藤田益伸・永浦拡・松田彩音・薩摩篤潤・浅尾祐亮・大西怜香・竹森未来・中西愛・堤俊彦・野田哲朗
  • 通讯作者：
    藤田益伸・永浦拡・松田彩音・薩摩篤潤・浅尾祐亮・大西怜香・竹森未来・中西愛・堤俊彦・野田哲朗

SUMII Eijiro的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('SUMII Eijiro', 18)}}的其他基金

Studies for Non-Monotone Recursion
非单调递归的研究
  • 批准号：
    25540001
  • 财政年份：
    2013
  • 资助金额：
    $ 9.4万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
A unified theory and application of information hiding by program verification
程序验证信息隐藏的统一理论与应用
  • 批准号：
    18680003
  • 财政年份：
    2006
  • 资助金额：
    $ 9.4万
  • 项目类别：
    Grant-in-Aid for Young Scientists (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了