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

Personal profile

External positions

Faculty of Engineering

Fingerprint Dive into the research topics where Masaki Murakami is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Semantics Engineering & Materials Science
Communication Engineering & Materials Science
Graph Rewriting Mathematics
Concurrent Mathematics
Wide area networks Engineering & Materials Science
Labels Engineering & Materials Science
Higher Order Mathematics
Extrusion Engineering & Materials Science

Research Output 1986 2014

  • 37 Citations
  • 4 h-Index
  • 68 Article
  • 12 Conference contribution
  • 1 Chapter

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

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