| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 17 |      | Masaki Murakami: On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. CPA 2009: 49-66 |
| 2008 | ||
| 16 | | Masaki Murakami: Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. ICTAC 2008: 243-257 |
| 15 |  | Masaki Murakami: A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication. TMFCS 2008: 80-87 |
| 2007 | ||
| 14 | | Masaki Murakami: Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. FCS 2007: 369- |
| 2006 | ||
| 13 | | Masaki Murakami: A Model of Access Control for Data Materials Based on Ambient Calculus. Software Engineering Research and Practice 2006: 811-820 |
| 12 | | Masaki Murakami: A formal model of concurrent systems based on bipartite directed acyclic graph. Sci. Comput. Program. 61(1): 38-47 (2006) |
| 2005 | ||
| 11 | | Masaki Murakami: Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph. Software Engineering Research and Practice 2005: 80-86 |
| 10 | | Masaki Murakami: A calculus for concurrent system with higher-order streaming communication. Sci. Comput. Program. 57(1): 61-72 (2005) |
| 2004 | ||
| 9 | | Masaki Murakami: A Calculus for Concurrent System with Higher-Order Streaming Communication. Software Engineering Research and Practice 2004: 90-96 |
| 8 | | 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 | ||
| 7 | | Masaki Murakami: A Runtime Transformation Method for Distributed Systems. Software Engineering Research and Practice 2003: 119-125 |
| 6 | | Masaki Murakami: Evolvable concurrent processes. Computer Standards & Interfaces 25(3): 233-239 (2003) |
| 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] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page