dblp.uni-trier.dewww.uni-trier.de

Masaki Murakami

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
15EEMasaki 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
11EEMasaki 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
9EEMasaki 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
7EEMasaki 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

Coauthor Index

1Moreno Falaschi [5]
2Koichi Furukawa [2]
3Maurizio Gabbrielli [5]
4Giorgio Levi [5]
5Akira Okumura [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)