Mark B. Josephs

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
Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench Information Processing Letters	2009-07-09	Paper
Controllable delay-insensitive processes	2007-07-30	Paper
scientific article; zbMATH DE number 5042670 (Why is no real title available?)	2006-07-26	Paper
Communicating Sequential Processes. The First 25 Years Lecture Notes in Computer Science	2005-11-29	Paper
scientific article; zbMATH DE number 1955905 (Why is no real title available?)	2003-07-29	Paper
scientific article; zbMATH DE number 177245 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177530 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 139980 (Why is no real title available?)	1993-03-28	Paper
Receptive process theory Acta Informatica	1992-01-01	Paper
The semantics of lazy functional languages Theoretical Computer Science	1989-01-01	Paper
A state-based approach to communicating processes Distributed Computing	1988-01-01	Paper
Functional programming with side-effects Science of Computer Programming	1986-01-01	Paper

Research outcomes over time

This page was built for person: Mark B. Josephs