Joseph M. Morris

MaRDI QIDQ199021zbMATH OpenFDO

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
Non-deterministic expressions and predicate transformers Information Processing Letters	2016-05-26	Paper
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes Lecture Notes in Computer Science	2008-09-11	Paper
Modelling higher-order dual nondeterminacy Acta Informatica	2008-08-19	Paper
Dual unbounded nondeterminacy, recursion, and fixpoints Acta Informatica	2007-09-10	Paper
Terms with unbounded demonic and angelic nondeterminacy Science of Computer Programming	2007-03-12	Paper
Mathematics of Program Construction Lecture Notes in Computer Science	2005-08-26	Paper
A source of inconsistency in theories of nondeterministic functions Science of Computer Programming	2002-05-15	Paper
A theory of bunches Acta Informatica	2001-08-20	Paper
E3: A logic for reasoning equationally in the presence of partiality Science of Computer Programming	1999-11-01	Paper
Partiality and nondeterminacy in program proofs Formal Aspects of Computing	1999-04-12	Paper
Temporal predicate transformers and fair termination Acta Informatica	1990-01-01	Paper
Laws of data refinement Acta Informatica	1989-01-01	Paper
A theoretical basis for stepwise refinement and the programming calculus Science of Computer Programming	1987-01-01	Paper
scientific article; zbMATH DE number 3833276 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3833277 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3845029 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3802783 (Why is no real title available?)	1982-01-01	Paper
A starvation-free solution to the mutual exclusion problem Information Processing Letters	1979-01-01	Paper
Traversing binary trees simply and cheaply Information Processing Letters	1979-01-01	Paper
scientific article; zbMATH DE number 3045555 (Why is no real title available?)	1947-01-01	Paper

Research outcomes over time

This page was built for person: Joseph M. Morris