研究業績 (抜粋):

• Murakami M., Behavioral Equivalence for a Graph Rewriting Model of Concurrent Programs, to appear in Int. Journal of Information Technology and Management

• Murakami, M., Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. ICTAC 2008, pp. 243-257(2008)

• Murakami, M. , A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication. Proc. of TMFCS 2008, pp. 80-87 (2008)

• Murakami, M. Congruence Results of Behavioral Equivalence for a Graph Rewriting Model of Concurrent Programs, Proc. of ICITA 2008, pp. 636-641, (2008)

• Murakami, M., An Extension of Ambient Calculus for Un-Nested Structures, A. S. Becker, ed. "Concurrent and Parallel Computing, Theory, Implementation and Applications", Nova Science Publishers, pp.149-164 (2008)

• Murakami M.,Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. Proc. of FCS 2007: 369-375 (2007)

• Murakami M., A Model of Access Control for Data Materials Based on Ambient Calculus, Proc. of The International Conf. on Software Engineering Research and Practice 2006, Vol. II, pp. 811-817 (2006)

• Murakami M., A Formal Model of Concurrent Systems Based on Bipartite Directed Acyclic Graph, Sciense of Computer Programming, Elsevier, 61 pp. 38-47 (2006)

• Murakami M., Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph, Proc. of The International Conf. on Software Engineering Research and Practice 2005, Vol. 1 (2005)

• Murakami M., A Calculus for Concurrent System with Higher-Order Streaming Communication, Sciense of Computer Programming, Elsevier, 57 pp. 61-72 (2005)

• Murakami M., Streaming Transfer of Mobile Programs in First Order Linear Logic, Proc. of 10th Int. Conf. on Information System Analysis and Synthesis and Int. Conf. on Cybernetics and Information Technologies, Systems and Application, 2004 (2004)

• Murakami M., A Calculus for Concurrent System with Higher-Order Streaming Communication, Proc. of The International Conf. on Software Engineering Research and Practice 2004, Vol. 1 (2004)

• Murakami M., A Model of Runtime Transformation for Distributed Systems Based on Directed Acyclic Graph Molde, Journal of System Architectures, Elsevier, Vol. 50, pp. 417-425 (2004)

• Murakami M., Code Streaming in First Order Linear Logic, Proc. of The International Conf. on Computer, Communication and Control Technologies, Vol. 4 (2003)

• Murakami M., Equivalence Relations of Distributed Systems with Module Passing, Proc. of The 7th Conf.of Systemics, Cybernetics and Informatics, Vol. V, (2003)

• Murakami M., A Runtime Transformation Method of Distributed Systems, Proc. of The International Conf. on Software Engineering Research and Practice 2003, Vol. 1 (2003)

• Murakami M., Evolvable Concurrent Processes, Computer Standards and Interfaces, Elsevier, Vol. 25, pp. 233-239 (2003)

• Murakami M., A Formal Model of Name Scoping in Distributed Systems, Proc. of The 6th Conf.of Systemics, Cybernetics and Informatics, Vol. XI (2002)

• Murakami M., Evolvable Concurrent Processes, Proc. of The International Conf. on Software Engineering Research and Practice 2002, (2002)

• Murakami M., Code Streaming: Asyncronous Higher Order Communication, Proc. of 7th International Conference on Information Systems Analysis and Synthesis/5th Conf.of Systemics, Cybernetics and Informatics (ISAS 2001/SCI2001), Vol. XIV, (2001)

• 渡辺，村上，コンティニュエーションのデータ化を用いた探索アルゴリ ズムの並列化， 日本ソフトウェア科学会 第3回 プログラミングおよびプログラミング言語ワークショップ (PPL 2001) 論文集, pp. 152-160 (2001)

• Murakami M., Run Time Transformation of Concurrent Processes Using Multi Dimensional Representation of Linear Logic, Proc. of ISPSE '00 (2000)

• Murakami M. and T. Kato, Formal Models of Mobile Concurrent Computations in Distributed Environments, Proc. of SSGRR '2000, 274.pdf (2000)

• 明比，村上，線型論理による並行計算の多次元表記環境の実装とその評価 情報処理学会プログラミング研究会, 並列・分散 特集(2000)

• 村上，名前渡しを含む並行プロセスの非インターリーブ的意味論， コンピュータソフトウェア, Vol. 17, No. 1 (2000)

• 渡辺，村上， コンティニュエーションのデータ化を用いた論理型 プログラムの並列化手法, 日本ソフトウェア科学会第16回大会, C3-2 (1999)

• Murakami M., Partial Evaluation of Reactive Communicating Processes, Proc. of IWTS, (1999)

• 森，村上, 線型論理から$\pi$計算への変換における等価性の保存， 情報処理学会プログラミング研究会, 並列・分散 特集(1999)

• 村上， 並行プロセスのチャネル名スコープの超格子表現，電子情報 通信学会ソフトウェアサイエンス研究会，並列・分散特集，特別講演, SS 98-51 (1999)

• 村上， 線形論理を用いた逐次型プロセスの並列実行， 情報処理学会論文誌: プログラミング, Vol. 40, No.SIG4 (PRO3) (1999)

• 村上， 線形論理を用いた並行プロセスの動的改造手法， 日本ソフトウェア科学会第15回大会, D6-1 (1998)

• 村上，名前渡しを含む並行プロセスの非インターリーブ的テスティング， コンピュータソフトウェア, vol. 15, no. 5(1998)

• 加藤, 村上，分散環境に置かれたGHCプログラムの意味論のための領域， 情報処理学会論文誌, vol. 38, no. 7 (1997)

• Kato T. and Murakami M., A Domain for a Semantics of Guarded Horn Clauses Programs on Distributed Environments, 5th Compulog-net area meeting on language design and semantic analysis methods, (1996 )

• Kato T. and Murakami M., An OR-Compositional Semantics of Guarded Horn Clauses for Programs with Perpetual Processes, Trans. of Tnformation Processing Society of Japan, Vol. 37, No. 8. (1996)

• Murakami M., A Domain for True Concurrent Semantics of Mobile Processes, RIMS Workshop in Computing, Concurrency Theory and Applications '96, Lecturenotes of RIMS no. 996, (1996)

• Oda Y. and Murakami M., Multi Action π-calculus, RIMS Workshop in Computing, Concurrency Theory and Applications '96, Lecturenotes of RIMS no. 996, (1996)

• 峰久，村上，モーバイルプロセスのフェアなテスティングによる等価性 判別，情報処理学会研究報告, PRO-12-3 (1997)

• 伊藤，村上， モーバイルプロセスの失敗例意味論を用いた等価性判別， 電子情報通信学会技術報告, COMP-96-59， (1997)

• 黒瀬， 村上，モーバイルプロセスのテスティングによる 等価性判別，電子情報通信学会技術報告, COMP-96-5 (1996)

• 村上， モーバイルプロセスの観測合同について，情処学会研究報告， Vo. 96, No. 33 (1996)

• Murakami M., A True Concurrent Semantics for Mobile Processes, JSSST SIG Theory of Programming, (1995)

• 村上, 部分計算を応用した逐次型プロセスの並列化について, 日本ソフトウェア科学会 プログラム合成変換研究会, (1995)

• 村上, 応答型並行プロセスのための時相論理式 を用いた部分計算法, コンピュータソフトウェア, vol. 12, no. 3 (1995) pp 15-27

• Murakami M., Partial Evaluation of Reactive Communicating Processes using Temporal Logic Formulas and its Applications, Proc. of A Workshop on Algebraic and Object-Oriented Approaches to Software Science (1995)

• 奥畑, 村上, 名前渡しを含む並行プロセスの合成, 電子情報通信学会技術報告, COMP94-106 (1995)

• L. Henschen, S. Lee, M. Murakami and Y. Morita On Structures for Efficient Unification Join/Select Operations, Journal of Computer and Software Engineering , Vol.2, No. 4, pp 377-400 (1994)

• 黒瀬, 村上, π計算の失敗例集合意味論, 日本ソフトウェア科学会第11回 大会, B8-1 (1994)

• 村上, 並行プログラミングのための形式的手法の将来, 並列処理シンポジ ウム JSPP '94,(1994)

• 小田, 村上, 並行論理型プログラミング言語における段階的プログラム 記述の検証, 電子情報通信学会技術報告, COMP93-81 (1994)

• 中尾, 村上, 並行論理型言語NGHCの時相論理式による制約を用いた部分計算法, 電子情報通信学会技術報告, COMP93-90 (1994)

• 塩出, 村上, 論理型言語における展開/畳み込みの拡張について, 電子情報通信学会技術報告, COMP94-3 (1994)

• 加藤, 村上, 無限実行プロセスを生成するGHCプログラムに対する OR-Compositional な意味論, 電子情報通信学会技術報告, COMP93-71 (1994)

• 村上, 応答型並行プログラムの 部分評価の応用, 情処学会研究報告, vol. 93, No.46, (1993)

• Casablanca, F., M. Murakami, S. Yuen and Y. Inagaki, Guarded Streams as a Domain for Concurrent Logic Computations: Semantic and Syntactic Equivalence, Tech. Rep. of IPSJ SIG-PRG, vol. 93, No.97, (1993)

• 加藤, 村上, 並列論理型言語ＧＨＣに対するOR-Compositionalな意味 論, 並列処理シンポジウム JSPP '93 (1993)

• 秋山, 村上, 応答型並行制約プログラムの部分計算法, 電子情報通信学 会技術報告, COMP92-84 (1993)

• 乙川, 村上、応答型並行制約プログラムのCCSへの変換, 電子情報通信学 会技術報告, COMP92-83 (1993)

• 村上, 並行論理型言語におけるメタインタプリタの一構成法, 情処学会研究 報告, vol.92, No. 44, (1992)

• 村上, 応答型並行プログラムの部分評価法, 情処学会研究 報告, vol.92, No. 44, (1992)

• 村上, 並行論理型言語の形式的意味論, 情報処理, 第32巻 第7号,(1991)

• Murakami, A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes, Theoretical Comp. Sci., vol 75, No.1/2, (1990)

• Falaschi, Gabbrielli, Levi, Murakami, Nested Guarded Horn Clauses: a language provided with a complete set of Unfolding Rules, Int. Jour. of Foundation, of Comp. Sci., Vol. 1, No. 3, (1990)

• Murakami, A Concurrnet Operational Semantics of Flat GHC Programs, ICLP-90 Pre Conference Workshop on Semantics of Concurrent Logic Languages (1990)

• Murakami and Ueda, Formal Semantics of Flat GHC Programs, Proc. of 3rd France -Japanese AI and Computer Science Symposium (1989)

• Murakami, A Failure Set Semantics of Guarded Horn Clauses Programs, Proc. of Italian-Japanese-Swedish Workshop on Concurrent Logic and Constraint Logic Programming (1989)

• Murakami, A Declarative Semantics of Parallel Logic Programs with Perpetual Processes, Proc. of Int. Conf. on FGCS (1988)

• Murakami, Towared Axiomatic Semantics of Guarded Horn Clauses Programs, Programming of Future Generation Computers II, North-Holland (1988)

• Furukawa, Okumura and Murakami, Unfolding Rules for GHC Programs New Generation Computing, Vol. 6, Nos. 2-3, (1988)

• Murakami, Proving Partial Correctness of Guarded Horn Clauses Programs, Lecture Notes in Computer Science. Vol. 315 (1988)

• Murakami and Inagaki, Verification for Freedom from Deadlock of Communicating Sequential Proceses, Systems and Computers in Japan, SCRIPTA TECHNICA, (1986)

• Murakami and Inagaki, Verification System for Partial Correctness of Communicating Sequential Processes, Systems and Computers in Japan, SCRIPTA TECHNICA, (1986)

• 村上， 稲垣， 相互通信逐次型プロセス系のデッドロックフリー性の検証体系， 電子通信学会論文誌 J69-D巻2号 pp. 190-197 (1986)

• Murakami, Yokota and Itoh, Formal Semantics of a Relational Knowledge Base, ICOT Technical Report, TR-149 (1985)

• 村上， 稲垣，相互通信逐次型プロセス系の部分的正当性の検証体系， 電子通信学会論文誌 J68-D巻11号(1985)

• 村上，稲垣，本多， 並行プログラム検証体系のためのダイナミック論理の拡張 電子通信学会論文誌 J67-D巻10号(1984)