• 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
Filter
Conference contribution
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)
2012

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

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

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)
2005

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

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)
2000

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)