Joseph M. Morris

Available identifiers

Publication	Date of Publication	Type
Non-deterministic expressions and predicate transformers	2016-05-26	Paper
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes	2008-09-11	Paper
Modelling higher-order dual nondeterminacy	2008-08-19	Paper
Dual unbounded nondeterminacy, recursion, and fixpoints	2007-09-10	Paper
Terms with unbounded demonic and angelic nondeterminacy	2007-03-12	Paper
Mathematics of Program Construction	2005-08-26	Paper
A source of inconsistency in theories of nondeterministic functions	2002-05-15	Paper
A theory of bunches	2001-08-20	Paper
E3: A logic for reasoning equationally in the presence of partiality	1999-11-01	Paper
Partiality and nondeterminacy in program proofs	1999-04-12	Paper
Temporal predicate transformers and fair termination	1990-01-01	Paper
Laws of data refinement	1989-01-01	Paper
A theoretical basis for stepwise refinement and the programming calculus	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3038594	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3038595	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3314968	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4746768	1982-01-01	Paper
A starvation-free solution to the mutual exclusion problem	1979-01-01	Paper
Traversing binary trees simply and cheaply	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5783773	1947-01-01	Paper

This page was built for person: Joseph M. Morris