| |
| 2008 | ||
|---|---|---|
| 15 | EE | Masaki Murakami: Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. ICTAC 2008: 243-257 |
| 14 | Masaki Murakami: A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication. TMFCS 2008: 80-87 | |
| 2007 | ||
| 13 | Masaki Murakami: Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. FCS 2007: 369- | |
| 2006 | ||
| 12 | Masaki Murakami: A Model of Access Control for Data Materials Based on Ambient Calculus. Software Engineering Research and Practice 2006: 811-820 | |
| 11 | EE | Masaki Murakami: A formal model of concurrent systems based on bipartite directed acyclic graph. Sci. Comput. Program. 61(1): 38-47 (2006) |
| 2005 | ||
| 10 | Masaki Murakami: Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph. Software Engineering Research and Practice 2005: 80-86 | |
| 9 | EE | Masaki Murakami: A calculus for concurrent system with higher-order streaming communication. Sci. Comput. Program. 57(1): 61-72 (2005) |
| 2004 | ||
| 8 | Masaki Murakami: A Calculus for Concurrent System with Higher-Order Streaming Communication. Software Engineering Research and Practice 2004: 90-96 | |
| 7 | EE | Masaki Murakami: A model of runtime transformation for distributed systems based on directed acyclic graph model. Journal of Systems Architecture 50(7): 417-425 (2004) |
| 2003 | ||
| 6 | Masaki Murakami: A Runtime Transformation Method for Distributed Systems. Software Engineering Research and Practice 2003: 119-125 | |
| 1990 | ||
| 5 | Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami: Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. 1(3): 249-264 (1990) | |
| 4 | Masaki Murakami: A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes. Theor. Comput. Sci. 75(1&2): 67-83 (1990) | |
| 1988 | ||
| 3 | Masaki Murakami: A Declarative Semantics of Parallel Logic Programs with Perpetual Processes. FGCS 1988: 374-381 | |
| 2 | Koichi Furukawa, Akira Okumura, Masaki Murakami: Unfolding Rules for GHC Programs. New Generation Comput. 6(2&3): 143-157 (1988) | |
| 1987 | ||
| 1 | Masaki Murakami: Proving Partial Correctness of Guarded Horn Clauses Programs. LP 1987: 215-235 | |
| 1 | Moreno Falaschi | [5] |
| 2 | Koichi Furukawa | [2] |
| 3 | Maurizio Gabbrielli | [5] |
| 4 | Giorgio Levi | [5] |
| 5 | Akira Okumura | [2] |