Masaki Murakami

发表

Code Streaming in First Order Linear Logic

Masaki Murakami, 2003 .

Behavioural equivalence for a graph rewriting model of concurrent programs

Masaki Murakami, 2010 .

Verification system for freedom from deadlock of communicating sequential processes

Yasuyoshi Inagaki, Masaki Murakami, 1987, Systems and Computers in Japan.

Nested Guarded Horn Clauses

Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami, 1990, Int. J. Found. Comput. Sci..

Partial Evaluation of Nested Guraded Horn Clauses Programs using Temporal Logic Formulas

Masaki Murakami, Yushi Nakao, 1994 .

Effective bin picking based on multi-level recognition

Masaki Murakami, Tomotaka Ito, Amarnath Pv, 2018 .

A Domain for a Semantics of Guarded Horn Clauses for Programs on Distributed Environment(共著)

Masaki Murakami, 1996 .

On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication

Masaki Murakami, 2009, CPA.

A Declarative Semantics of Parallel Logic Programs based on Failure/Deadlock Set

Masaki Murakami, 1989 .

An QR-Compositional Semantics of Guarded Horn Clauses for Programs with Perpetual Processes(共著)

Masaki Murakami, 1996 .

A model of runtime transformation for distributed systems based on directed acyclic graph model

Masaki Murakami, 2004, J. Syst. Archit..

Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs

Masaki Murakami, 2008, ICTAC.

An OR-Compositional Semantics of Guarded Horn Clauses

Masaki Murakami, 1993 .

Congruence results of behavioral equivalence for a graph rewriting model of concurrent programs

Masaki Murakami, 2008 .

Contextual transition system for π-calculus

Masaki Murakami, Takami Sasaki, M. Murakami, 2014, 2014 Science and Information Conference.

Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System

Masaki Murakami, 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.

Partial Evaluation of Reactive Concurrent Programs

Masaki Murakami, 1992 .

A formal model of concurrent systems based on bipartite directed acyclic graph

Masaki Murakami, 2006, Sci. Comput. Program..

A Declarative Semantics of Parallel Logic Programs with Perpetual Processes

Masaki Murakami, 1988, FGCS.

A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes

Masaki Murakami, M. Murakami, 1990, Theor. Comput. Sci..

An Application of Partial Evaluation of Reactive Concurrent Processes

Masaki Murakami, 1993 .

Checking Equivalence for Mobile Processes with Failure Semantics

Masaki Murakami, 1997 .

Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model

Masaki Murakami, 2007, FCS.

A Runtime Transformation Method for Distributed Systems

Masaki Murakami, 2003, Software Engineering Research and Practice.

Formal Semantics of Concument Logic Programs

Masaki Murakami, 1991 .

Geodetic Coordinates 2000

Masaki Murakami, 1999 .

A Domain for Concurrent Semantics of Mobile Processes(Concurrency Theory and Applications '96)

Masaki Murakami, 1997 .

A graphical structure rewriting model for concurrent system with higher-order streaming communication

Masaki Murakami, 2013, Third International Conference on Innovative Computing Technology (INTECH 2013).

Partial Evaluation of Reactive Concurrent Processes using Temporal Logic Formulas

Masaki Murakami, 1995 .

Proving Partial Correctness of Guarded Horn Clauses Programs

Masaki Murakami, 1987, LP.

Streaming Transfer of Mobile Programs in First Order Linear Logic

Masaki Murakami, 2004 .

Formal Models of Mobile Concurrent Computations in Distributed Environments

Masaki Murakami, 2000 .

Parallel Execution of Sequential Process Using Linear Logic

Masaki Murakami, 1999 .

An Application of Partial Evaluation of Communicating Processes to System Security

Masaki Murakami, 2012, FOCS 2012.

Multi-action $\pi$-calculus(Concurrency Theory and Applications '96)

Masaki Murakami, Yukihiro Oda, 1997 .

Partial Computation of Reactive Concurrent Processes using Temporal Logic

Masaki Murakami, 1992 .

A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication

Masaki Murakami, 2008, TMFCS.

Consideration of efficient parts recognition method for bin picking

Masaki Murakami, Tomoyuki Katayama, Tomotaka Ito, 2016 .

A model of higher-order concurrent programs based on graph rewriting

Masaki Murakami, 2011 .

Machine Vision for Detecting Insects in Hole of Raspberry Fruit

Masaki Murakami, Takashi Kataoka, Yoichi Shibata, 2013 .

Unfolding rules for GHC programs

Koichi Furukawa, Akira Okumura, Masaki Murakami, 2009, New Generation Computing.

Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph

Masaki Murakami, 2005, Software Engineering Research and Practice.

A Formal Model of Name Scoping in Distributed Systems

Masaki Murakami, 2002 .

On Compilation of Higher-Order Concurrent Programs into First Order Programs Preserving Scope Equivalence

Masaki Murakami, 2011, FOCS 2011.

A calculus for concurrent system with higher-order streaming communication

Masaki Murakami, 2005, Sci. Comput. Program..

A True Concurrent Semantics for Mobile Processes

Masaki Murakami, 1996 .

Meta-interpreter Construction in a Concurrent Logic Language

Masaki Murakami, 1992 .

The role of orbital information in GPS positioning for the establishment of local geodetic reference frames.

Masaya Iwata, Masaki Murakami, Kazushige Goto, 1990 .

Evolvable concurrent processes

Masaki Murakami, 2003, Comput. Stand. Interfaces.

A Failure Set Semantics for π-calculus

Masaki Murakami, 1994 .

Partial Evaluation of Reactine Concurrent Constraint Programs

Masaki Murakami, 1993 .

Synthesis Algorithm for Processes with Name-Passing

Masaki Murakami, 1995 .

A non-interleaving semantics of concurrent processes with name passing

Masaki Murakami, 2000 .

Verification system for partial correctness of communicating sequential processes

Yasuyoshi Inagaki, Masaki Murakami, 1986, Systems and Computers in Japan.

A Model of Access Control for Data Materials Based on Ambient Calculus

Masaki Murakami, 2006, Software Engineering Research and Practice.

An OR-compositional Semantics of GHC for Programs with Perpetual Processes(共著)

Masaki Murakami, 1996 .

A concurrent Operational Semantics of Flat GHC Programs

Masaki Murakami, 1990 .

Nested Guarded horn Clauses : A Language Provided with a Complete Set of Unfolding Rules

Masaki Murakami, 1990 .