Masaki Murakami

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
A formal model of concurrent systems based on bipartite directed acyclic graph Science of Computer Programming	2006-06-09	Paper
A calculus for concurrent system with higher-order streaming communication Science of Computer Programming	2005-08-05	Paper
scientific article; zbMATH DE number 1404224 (Why is no real title available?)	2000-02-20	Paper
scientific article; zbMATH DE number 1372683 (Why is no real title available?)	1999-12-01	Paper
scientific article; zbMATH DE number 1372687 (Why is no real title available?)	1999-12-01	Paper
A declarative semantics of flat guarded Horn clauses for programs with perpetual processes Theoretical Computer Science	1990-01-01	Paper
NESTED GUARDED HORN CLAUSES International Journal of Foundations of Computer Science	1990-01-01	Paper
scientific article; zbMATH DE number 4106298 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4060687 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4106262 (Why is no real title available?)	1988-01-01	Paper
Unfolding rules for GHC programs New Generation Computing	1988-01-01	Paper

Research outcomes over time

This page was built for person: Masaki Murakami