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

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.

Mathematics

Graph Rewriting
Concurrent
Higher Order
Linear Logic
Deadlock
Concurrent Systems
Equivalence
Communication Channels
Congruence
Equivalence relation
Model
Process Algebra
Correctness
Partial
Formal Model
Axiom
Congruence Relation
Communication
Labeled Transition System
Formal Proof
Extrusion
Directed Acyclic Graph
Operational Semantics
Prefix
Graph in graph theory
Vertex of a graph

Engineering & Materials Science

Semantics
Communication
Wide area networks
Labels
Extrusion
Temporal logic
Chemical analysis
Model structures
Synchronization
Algebra