课题基金 / 基金详情

Study on the theory of concurrent systems with code streaming

Study on the theory of concurrent systems with code streaming
码流并发系统理论研究
批准号：
24500016
负责人：
MURAKAMI Masaki
金额：
$1.58万
依托单位：
Okayama University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500016/
关键词：
並行計算プロセス代数計算モデル並行計算モデル高階ストリーム型通信グラフ書換系コンテクストラベル

项目摘要

项目成果

MURAKAMI Masaki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
An Application of Partial Evaluation of Communicating Processes to System Security
通信过程部分评估在系统安全中的应用
DOI： --
发表时间： 2012
期刊： International Journal in Foundations of Computer Science & Technology
影响因子： --
作者： [鈴木斎輝, 吉田真紀, Murakami M.]
通讯作者： Murakami M.
A Graphical Structure Rewriting Model for Concurrent System with Higher-Order Streaming Communication
高阶流通信并发系统的图解结构重写模型
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [鈴木斎輝, 吉田真紀, Murakami M., Masaki Murakami, Masaki Murakami, 村上　昌己, 村上　昌己, 村上　昌己]
通讯作者： 村上　昌己
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System
基于上下文转换系统的环境微积分全等互模拟等价
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [鈴木斎輝, 吉田真紀, Murakami M., Masaki Murakami, Masaki Murakami, 村上　昌己, 村上　昌己]
通讯作者： 村上　昌己
Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application
DOI： 10.1007/978-3-642-30157-5_89
发表时间： 2012
期刊：
影响因子： --
作者： [M. Murakami]
通讯作者： M. Murakami
共 7 条
    The Aesthetics of Semblance: Focusing on Benjamin's Concept of Semblance.
    • 批准号：
      25884077
    • 项目类别：
      Grant-in-Aid for Research Activity Start-up
    • 资助金额：
      $0.33万
    • 财政年份：
      2013
    • 负责人：
      MURAKAMI Masaki
    • 依托单位：
      Doshisha University
    Research Project for A Theory of Mobile Concurrent Computations
    • 批准号：
      12680352
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.47万
    • 财政年份：
      2000
    • 负责人：
      MURAKAMI Masaki
    • 依托单位：
      OKAYAMA UNIVERSITY
    Study on Parallelization Method for Sequential Processes Using Partial Evaluation
    • 批准号：
      07680359
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $0.77万
    • 财政年份：
      1995
    • 负责人：
      MURAKAMI Masaki
    • 依托单位：
      Okayama University
    海外基金