( en | de | ru )

 

Disambiguation of "Murakami, Masaki"

Author of the publication

copydeleteadd this publication to your clipboard
Nested Guarded Horn Clauses.

, , , and . Int. J. Found. Comput. Sci., 1 (3): 249-264 (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Komao Murakami

Masaki Nakajima

Komao Murakami

Komao Murakami

Edson Murakami

 

Other publications of authors with the same name

Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph.. Software Engineering Research and Practice, page 80-86. CSREA Press, (2005)A Declarative Semantics of Parallel Logic Programs with Perpetual Processes.. FGCS, page 374-381. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)First Demonstration of End-to-End Network Slicing with Transport Network Coordination and Edge Cloud Applications in 5G Era., , , , , , , , , and 3 other author(s). OECC/PSC, page 1-3. IEEE, (2019)A formal model of concurrent systems based on bipartite directed acyclic graph.. Sci. Comput. Program., 61 (1): 38-47 (2006)Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System.. TASE, page 149-152. IEEE Computer Society, (2013)On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication.. CPA, volume 67 of Concurrent Systems Engineering Series, page 49-66. IOS Press, (2009)Experimental Evaluation on Priority-Aware Guaranteed Resource Allocation for Resource Pool Based Reconfigurable Hardware., , , and . IEEE/ACM Trans. Netw., 32 (1): 298-307 (February 2024)Experimental Evaluation of Application Triggered Flow Classification Using Operated Data Center Traffic Data., , , and . OECC/PSC, page 1-3. IEEE, (2019)Experimental Deployment of Dynamic Resource Allocation Using Biological Attractor Selection in Virtual Packet Optical Node., , , and . OECC/PSC, page 1-3. IEEE, (2019)A Runtime Transformation Method for Distributed Systems.. Software Engineering Research and Practice, page 119-125. CSREA Press, (2003)