年別の研究成果
年別の研究成果
研究者プロファイル
外部ポジション
Faculty of Engineering
フィンガープリント
Masaki Murakamiが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
-
Contextual transition system for π-calculus
Murakami, M. & Sasaki, T., 10月 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).研究成果
-
A graphical structure rewriting model for concurrent system with higher-order streaming communication
Murakami, M., 12月 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).研究成果
-
Congruent bisimulation equivalence of ambient calculus based on contextual transition system
Murakami, M., 10月 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).研究成果
3 被引用数 (Scopus) -
-
Partial evaluation of communicating processes with temporal formulas and its application
Murakami, M., 8月 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).研究成果