Masaki Murakami

From MaRDI portal
Person:915480

Available identifiers

zbMath Open murakami.masakiMaRDI QIDQ915480

List of research outcomes





PublicationDate of PublicationType
Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs2009-01-27Paper
A formal model of concurrent systems based on bipartite directed acyclic graph2006-06-09Paper
A calculus for concurrent system with higher-order streaming communication2005-08-05Paper
https://portal.mardi4nfdi.de/entity/Q49378402000-02-20Paper
https://portal.mardi4nfdi.de/entity/Q47038921999-12-01Paper
https://portal.mardi4nfdi.de/entity/Q47038961999-12-01Paper
A declarative semantics of flat guarded Horn clauses for programs with perpetual processes1990-01-01Paper
NESTED GUARDED HORN CLAUSES1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38305521988-01-01Paper
Unfolding rules for GHC programs1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37951911988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38305191988-01-01Paper

Research outcomes over time

This page was built for person: Masaki Murakami

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:915480&oldid=7580546"
Powered by MediaWiki