Mark B. Josephs

From MaRDI portal
Person:758199

Available identifiers

zbMath Open josephs.mark-bMaRDI QIDQ758199

List of research outcomes





PublicationDate of PublicationType
Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench2009-07-09Paper
https://portal.mardi4nfdi.de/entity/Q52955132007-07-30Paper
https://portal.mardi4nfdi.de/entity/Q54801662006-07-26Paper
Communicating Sequential Processes. The First 25 Years2005-11-29Paper
https://portal.mardi4nfdi.de/entity/Q44175982003-07-29Paper
https://portal.mardi4nfdi.de/entity/Q40370961993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373991993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40283381993-03-28Paper
Receptive process theory1992-01-01Paper
The semantics of lazy functional languages1989-01-01Paper
A state-based approach to communicating processes1988-01-01Paper
Functional programming with side-effects1986-01-01Paper

Research outcomes over time

This page was built for person: Mark B. Josephs

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