Research output per year
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.
- 1 Similar Profiles
-
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 proceeding › Conference contribution
-
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 proceeding › Conference 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 proceeding › Conference contribution
3 Citations (Scopus) -
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., 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 proceeding › Conference contribution