Research Output per year
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
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. 6918181Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 6653636Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 6597891Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Labels
An Application of Partial Evaluation of Communicating Processes to System Security
Murakami, M., 2012, In : International Journal in Foundations of Computer Science & Technology. 2, 4, p. 15-27 13 p.Research output: Contribution to journal › Article
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 proceeding › Conference contribution
Temporal logic
Communication