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/
• 关键词: 並行計算; プロセス代数; 計算モデル; 並行計算モデル; 高階ストリーム型通信; グラフ書換系; コンテクストラベル

项目成果

An Application of Partial Evaluation of Communicating Processes to System Security

通信过程部分评估在系统安全中的应用

• 发表时间: 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

高阶流通信并发系统的图解结构重写模型

• 发表时间: 2013
• 作者: 鈴木斎輝;吉田真紀;Murakami M.;Masaki Murakami;Masaki Murakami;村上 昌己;村上 昌己;村上 昌己
• 通讯作者: 村上 昌己

Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System

基于上下文转换系统的环境微积分全等互模拟等价

• 发表时间: 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

A Contetxual Transition Semantics for Graphical Concurrent System with Higher-Order Streaming Communication

高阶流通信图形并发系统的上下文转换语义

• 发表时间: 2014
• 作者: 鈴木斎輝;吉田真紀;Murakami M.;Masaki Murakami
• 通讯作者: Masaki Murakami