Masaki Murakami
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2008–2013
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | TASE | Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. | Masaki Murakami |
| 2008 | ICTAC | Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. | Masaki Murakami |