• 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
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

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

Semantics
Labels
2013

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

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

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

Model structures
Communication
Wide area networks
Semantics
2 Citations (Scopus)

Congruent bisimulation equivalence of ambient calculus based on contextual transition system

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

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

Labels

Partial evaluation of communicating processes with temporal formulas and its application

Murakami, M., 2012, Advances in Intelligent and Soft Computing. VOL. 1 ed. Vol. 166 AISC. 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

Temporal logic
Communication
2011

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

Murakami, M., Jan 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

Graph Rewriting
Concurrent
Higher Order
Process Algebra
Model

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

Murakami, M., 2011, Communications in Computer and Information Science. Vol. 154 CCIS. p. 171-180 10 p. (Communications in Computer and Information Science; vol. 154 CCIS).

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

Communication
Chemical analysis
2010
Semantics
Chemical analysis
2009
2 Citations (Scopus)
Communication
Algebra
Extrusion
Chemical analysis
2008
5 Citations (Scopus)

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

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

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

Graph Rewriting
Concurrent
Higher Order
Communication
Process Algebra
4 Citations (Scopus)

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

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

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

Semantics
Chemical analysis
3 Citations (Scopus)

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

Murakami, M., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5160 LNCS. 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

Graph Rewriting
Congruence
Names
Concurrent
Equivalence
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

Scope equivalence of concurrent systems based on bipartite directed acyclic graph

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

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

Extrusion
Semantics
2004

A calculus for concurrent system with higher-order streaming communication

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

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

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

A Runtime Transformation Method for Distributed Systems

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

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

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

2 Citations (Scopus)

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

Murakami, M., 2000, International Workshop on Principles of Software Evolution (IWPSE). Institute of Electrical and Electronics Engineers Inc., Vol. 2000-January. p. 226-230 5 p. 00913243

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

Linear Logic
Concurrent
Formal Proof
Fragment
Model
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