Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Morris, Joseph M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Modelling higher-order dual nondeterminacy
Joseph M. Morris
,
Malcolm Tyrrell
Acta Informatica
45
(6), 2008, pp. 441-465
Dual unbounded nondeterminacy, recursion, and fixpoints
Joseph M. Morris
,
Malcolm Tyrrell
Acta Informatica
44
(5), 2007, pp. 323-344
A theory of bunches
Joseph M. Morris
,
Alexander Bunkenburg
Acta Informatica
37
(8), 2001, pp. 541-561
Non-deterministic expressions and predicate transformers
Joseph M. Morris
Information Processing Letters
61
(5), 1997, pp. 241-246
Well-founded induction and the invariance theorem for loops
Joseph M. Morris
Information Processing Letters
32
, 1989, pp. 155-158
Laws of data refinement
Joseph M. Morris
Acta Informatica
26
, 1988, pp. 287-308
A starvation-free solution to the mutual exclusion problem
Joseph M. Morris
Information Processing Letters
8
(2), 1979, February, pp. 76-80