• 37 Citations
  • 4 h-Index
1986 …2014
If you made any changes in Pure these will be visible here soon.

Research Output 1986 2014

  • 37 Citations
  • 4 h-Index
  • 70 Article
  • 12 Conference contribution
  • 1 Chapter
Filter
Article
2010
Semantics
Chemical analysis
2009
2 Citations (Scopus)
Communication
Algebra
Extrusion
Chemical analysis
2006
7 Citations (Scopus)

A formal model of concurrent systems based on bipartite directed acyclic graph

Murakami, M., Jun 2006, In : Science of Computer Programming. 61, 1, p. 38-47 10 p.

Research output: Contribution to journalArticle

Extrusion
Semantics
2005
1 Citation (Scopus)

A calculus for concurrent system with higher-order streaming communication

Murakami, M., Jul 2005, In : Science of Computer Programming. 57, 1, p. 61-72 12 p.

Research output: Contribution to journalArticle

Wide area networks
Communication
Semantics
2004
2 Citations (Scopus)
Semantics
1 Citation (Scopus)

Evolvable concurrent processes

Murakami, M., Jun 2003, In : Computer Standards and Interfaces. 25, 3, p. 233-239 7 p.

Research output: Contribution to journalArticle

logic
working process
Semantics
semantics
Costs
2002

A Formal Model of Name Scoping in Distributed Systems,

Murakami, M., 2002, In : Proc. of The 6th Conf.of Systemics, Cybernetics and Informatics,. Vol.XI, p. 343-348 6 p.

Research output: Contribution to journalArticle

2000

A non-interleaving semantics of concurrent processes with name passing

Murakami, M., 2000, In : Computer Software. 17, 1, p. 45-58 14 p.

Research output: Contribution to journalArticle

Semantics

Formal Models of Mobile Concurrent Computations in Distributed Environments

Murakami, M., 2000, In : Proc.of SSGRR''2000. No.274

Research output: Contribution to journalArticle

1999

並行プロセスのチャネル名スコープの超格子表現

Murakami, M., 1999, In : 信学技報. ss98, 51, p. 47-54 8 p.

Research output: Contribution to journalArticle

線形論理を用いた逐次型プロセスの並列実行

Murakami, M., 1999, In : 情報処理会論文誌:プログラミング. 40, SIG4(PRO3), p. 11-20 10 p.

Research output: Contribution to journalArticle

1998

Checking Equivalence for Mobile Processes with Failure Semantics

Murakami, M., 1997, In : Technical Report of IEICE. comp96, p. 9-9 1 p.

Research output: Contribution to journalArticle

π計算のfairなtestingによる等価性判別(共著)

Murakami, M., 1997, In : プログラミング研究報告. 97, 32, p. 15-15 1 p.

Research output: Contribution to journalArticle

モーバイルプロセスの失敗例意味論を用いた等価性判別 (共著)

Murakami, M., 1997, In : 信学技報. comp96, p. 9-9 1 p.

Research output: Contribution to journalArticle

並行プロセスの非インターリブ的テスティング

Murakami, M., 1997, In : プログラミング研究報告. 97, 45, p. 19-19 1 p.

Research output: Contribution to journalArticle

分散環境に置かれたGHCプログラムの意味論のため意味領域 (共著)

Murakami, M., 1997, In : 情報処理学会論文誌. 38, 7, p. 1352-1352 1 p.

Research output: Contribution to journalArticle

A True Concurrent Semantics for Mobile Processes

Murakami, M., 1996, In : JSSST SIG Theory of Programming.

Research output: Contribution to journalArticle

Checking Equiralence for Mobile Prosses with Testing

Murakami, M., 1996, In : Thechnical Report of IEICE. 96, 15, p. 39-48 10 p.

Research output: Contribution to journalArticle

On Observation Congruence of Mobile Processes

Murakami, M., 1996, In : Technical Report of IPSJ. 96, 33, p. 37-42 6 p.

Research output: Contribution to journalArticle

モーバイルプロセスのテスティングによる等価性判別「共著」

Murakami, M., 1996, In : 信学技報. 96, 15, p. 39-48 10 p.

Research output: Contribution to journalArticle

モーバイルプロセスの観測合同について

Murakami, M., 1996, In : 情報研報. 96, 33, p. 37-42 6 p.

Research output: Contribution to journalArticle

1995

Partial Evaluation of Reactive Concurrent Processes using Temporal Logic Formulas

Murakami, M., 1995, In : Computer Software. 12, 3, p. 15-27 13 p.

Research output: Contribution to journalArticle

Synthesis Algorithm for Processes with Name-Passing

Murakami, M., 1995, In : Technical Report of IEICE. 94, 526, p. 41-41 1 p.

Research output: Contribution to journalArticle

名前渡しを含け並行プロセス合成法「共著」

Murakami, M., 1995, In : 電子情報通信学会技術研究報告. 94, 526, p. 41-41 1 p.

Research output: Contribution to journalArticle

応答型並行プロセスのための時相論理式を用いた部分計算法

Murakami, M., 1995, In : コンピュータソフトウェア. 12, 3, p. 15-27 13 p.

Research output: Contribution to journalArticle

An OR-Compositional Semantics of Guarded Horn Clauses

Murakami, M., 1993, In : Proc. of Joint Symposium on Parallel Processing 1993. p. 199-206 8 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Partial Evaluation of Reactine Concurrent Constraint Programs

Murakami, M., 1993, In : Technical Report of IEICE. comp92, 83, p. 33-40 8 p.

Research output: Contribution to journalArticle

Translation of CC programs into CCS

Murakami, M., 1993, In : Technical Report of IEICE. comp92, 83, p. 25-32 8 p.

Research output: Contribution to journalArticle