• 38 Citations
  • 4 h-Index
1986 …2014

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 38 Citations
  • 4 h-Index
  • 68 Article
  • 12 Conference contribution
  • 2 Conference article
  • 1 Chapter
2014

Contextual transition system for π-calculus

Murakami, M. & Sasaki, T., Oct 7 2014, Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc., p. 133-139 7 p. 6918181. (Proceedings of 2014 Science and Information Conference, SAI 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

A graphical structure rewriting model for concurrent system with higher-order streaming communication

Murakami, M., Dec 31 2013, 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013. p. 526-531 6 p. 6653636. (2013 3rd International Conference on Innovative Computing Technology, INTECH 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Congruent bisimulation equivalence of ambient calculus based on contextual transition system

Murakami, M., Oct 30 2013, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. p. 149-152 4 p. 6597891. (Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Partial evaluation of communicating processes with temporal formulas and its application

Murakami, M., Aug 24 2012, Advances in Computer Science, Engineering and Applications - Proceedings of the Second International Conference on Computer Science, Engineering and Applications, ICCSEA 2012. VOL. 1 ed. p. 901-909 9 p. (Advances in Intelligent and Soft Computing; vol. 166 AISC, no. VOL. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

A model of higher-order concurrent programs based on graph rewriting

Murakami, M., Jan 1 2011, Emerging Topics on Differential Geometry and Graph Theory. Nova Science Publishers, Inc., p. 373-394 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Congruence results of weak equivalence for a graph rewriting model of concurrent programs with higher-order communication

Murakami, M., Jul 12 2011, Advances in Wireless, Mobile Networks and Applications - International Conferences WiMoA 2011 and ICCSEA 2011, Proceedings. p. 171-180 10 p. (Communications in Computer and Information Science; vol. 154 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2010
2009
2 Citations (Scopus)
2008

A graph rewriting model of concurrent programs with higher-order communication

Murakami, M., Dec 1 2008, International Conference on Theoretical and Mathematical Foundations of Computer Science 2008, TMFCS 2008. p. 80-87 8 p. (International Conference on Theoretical and Mathematical Foundations of Computer Science 2008, TMFCS 2008).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Congruence results of behavioral equivalence for a graph rewriting model of concurrent programs

Murakami, M., Dec 1 2008, 5th International Conference on Information Technology and Applications, ICITA 2008. p. 636-641 6 p. (5th International Conference on Information Technology and Applications, ICITA 2008).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Congruence results of scope equivalence for a graph rewriting model of concurrent programs

Murakami, M., Sep 22 2008, Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Proceedings. p. 243-257 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5160 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
2006

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

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

Research output: Contribution to journalArticle

7 Citations (Scopus)
2005

A calculus for concurrent system with higher-order streaming communication

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

Research output: Contribution to journalConference article

1 Citation (Scopus)

Scope equivalence of concurrent systems based on bipartite directed acyclic graph

Murakami, M., Dec 1 2005, Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05. p. 80-86 7 p. (Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2004

A calculus for concurrent system with higher-order streaming communication

Murakami, M., Dec 1 2004, Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04. Arabnia, H. R. & Reza, H. (eds.). p. 90-96 7 p. (Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A model of runtime transformation for distributed systems based on directed acyclic graph model

Murakami, M., Jul 1 2004, In : Journal of Systems Architecture. 50, 7, p. 417-425 9 p.

Research output: Contribution to journalConference article

2 Citations (Scopus)
2003

A Runtime Transformation Method for Distributed Systems

Murakami, M., Dec 1 2003, Proceedings of the International Conference on Software Engineering Research and Practise. SERP 2003. Al-Ani, B., Arabnia, H. R., Mun, Y., Al-Ani, B., Arabnia, H. R. & Mun, Y. (eds.). p. 119-125 7 p. (Proceedings of the International Conference on Software Engineering Research and Practise; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Evolvable concurrent processes

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

Research output: Contribution to journalArticle

1 Citation (Scopus)
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

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

Research output: Contribution to journalArticle

Formal Models of Mobile Concurrent Computations in Distributed Environments

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

Research output: Contribution to journalArticle

Run time transformation of concurrent processes using multi dimensional representation of linear logic

Murakami, M., Jan 1 2000, Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000. Institute of Electrical and Electronics Engineers Inc., p. 226-230 5 p. 00913243. (International Workshop on Principles of Software Evolution (IWPSE); vol. 2000-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
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