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

Research Output 1986 2014

  • 37 Citations
  • 4 h-Index
  • 70 Article
  • 12 Conference contribution
  • 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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Labels
2013

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
2012

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
2011

Congruence results of weak equivalence for a graph rewriting model of concurrent programs with higher-order communication

Murakami, M., 2011, Communications in Computer and Information Science. Vol. 154 CCIS. p. 171-180 10 p. (Communications in Computer and Information Science; vol. 154 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication
Chemical analysis
2008
5 Citations (Scopus)

A graph rewriting model of concurrent programs with higher-order communication

Murakami, M., 2008, International Conference on Theoretical and Mathematical Foundations of Computer Science 2008, TMFCS 2008. p. 80-87 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graph Rewriting
Concurrent
Higher Order
Communication
Process Algebra
4 Citations (Scopus)

Congruence results of behavioral equivalence for a graph rewriting model of concurrent programs

Murakami, M., 2008, 5th International Conference on Information Technology and Applications, ICITA 2008. p. 636-641 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Chemical analysis
3 Citations (Scopus)

Congruence results of scope equivalence for a graph rewriting model of concurrent programs

Murakami, M., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5160 LNCS. 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

Graph Rewriting
Congruence
Names
Concurrent
Equivalence
2005

Scope equivalence of concurrent systems based on bipartite directed acyclic graph

Murakami, M., 2005, Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05. Vol. 1. p. 80-86 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Extrusion
Semantics
2004

A calculus for concurrent system with higher-order streaming communication

Murakami, M., 2004, Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04. Arabnia, H. R. & Reza, H. (eds.). Vol. 1. p. 90-96 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wide area networks
Communication
Semantics
2003
1 Citation (Scopus)

A Runtime Transformation Method for Distributed Systems

Murakami, M., 2003, Proceedings of the International Conference on Software Engineering Research and Practise. Al-Ani, B., Arabnia, H. R., Mun, Y., Al-Ani, B., Arabnia, H. R. & Mun, Y. (eds.). Vol. 1. p. 119-125 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2000
2 Citations (Scopus)

Run time transformation of concurrent processes using multi dimensional representation of linear logic

Murakami, M., 2000, International Workshop on Principles of Software Evolution (IWPSE). Institute of Electrical and Electronics Engineers Inc., Vol. 2000-January. p. 226-230 5 p. 00913243

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Linear Logic
Concurrent
Formal Proof
Fragment
Model