Study on the theory of concurrent systems with code streaming

• Project/Area Number: 24500016
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Fundamental theory of informatics
• Research Institution: Okayama University
• Principal Investigator: MURAKAMI Masaki 岡山大学, 情報統括センター, 教授 (60239499)
• Project Period (FY): 2012-04-01 – 2015-03-31
• Project Status: Completed (Fiscal Year 2014)
• Budget Amount: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000); Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000); Fiscal Year 2012: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
• Keywords: 並行計算 / プロセス代数 / 計算モデル / 並行計算モデル / 高階ストリーム型通信 / グラフ書換系 / コンテクストラベル

Outline of Final Research Achievements

In recent years, it is common to send and receive programs using the internet. The capability of sending/receiving of program codes during the computation is represented using the notion of higher-order communication. The design, analysis and verification of the system with higher-order communication is not easy with the methods for the softwares that are executed on one closed computer system. A formal model of concurrent system that is equipped with capabilities of non-atomic higher-order communication is presented. The model is based on a graph rewriting system. We defined an equivalence relation on the model and showed that the equivalence is a congruent.

Research Products

• [Journal Article] An Application of Partial Evaluation of Communicating Processes to System Security (2012)
  • Author(s): Murakami M.
  • Journal Title: International Journal in Foundations of Computer Science & Technology Volume: vol. 2, no. 4 Pages: 15-27
  • Peer Reviewed
• [Presentation] A Contetxual Transition Semantics for Graphical Concurrent System with Higher-Order Streaming Communication (2014)
  • Author(s): Masaki Murakami
  • Organizer: 3rd International Conference on Circuits, Systems, Communications, Computers and Applications (CSCCA14)
  • Place of Presentation: Florence, Italy
  • Year and Date: 2014-11-22 – 2014-11-24
• [Presentation] Contextual Transition System for π-calculus (2014)
  • Author(s): Masaki Murakami
  • Organizer: Science and Information Conference 2014
  • Place of Presentation: London, UK
  • Year and Date: 2014-08-27 – 2014-08-29
• [Presentation] Contextual Transition System for π-calculus (2014)
  • Author(s): 村上 昌己
  • Organizer: Science and Information (SAI) Conference 2014
  • Place of Presentation: イギリス，ロンドン
• [Presentation] Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System (2013)
  • Author(s): 村上 昌己
  • Organizer: 2013 Int. Symp. on Theoretical Aspects of Software Engineering (TASE 2013)
  • Place of Presentation: イギリス，バーミンガム
• [Presentation] A Graphical Structure Rewriting Model for Concurrent System with Higher-Order Streaming Communication (2013)
  • Author(s): 村上 昌己
  • Organizer: Third Int. Conf. on Innovative Computing Technology
  • Place of Presentation: イギリス，ロンドン
• [Presentation] Contextual Transition System for Ambient Calculus (2013)
  • Author(s): Yamazaki S. and M. Murakami
  • Organizer: 12th Int. Conf. on Software Engineering, Parallel and Distributed Systems (SEPADS '13)
  • Place of Presentation: イギリス、ケンブリッジ
• [Presentation] Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System (2013)
  • Author(s): Murakami M
  • Organizer: The 7th International Symposium on Theoretical Aspects of Software Engineering
  • Place of Presentation: イギリス、バーミンガム
• [Presentation] Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application (2012)
  • Author(s): Murakami M
  • Organizer: The 2nd International Conf. on Computer Sci, Eng and Applications, Advances in Intelligent and Soft Computing
  • Place of Presentation: インド, デリー