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
Hilfe
Suche: Author="Nguyen, V.L."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A fixpoint semantics for nondeterministic data flow
J. Staples
,
V.L. Nguyen
Journal of the ACM
32
(2), 1985, pp. 411-444
Computing the behaviour of asynchronous processes
J. Staples
,
V.L. Nguyen
Theoretical Computer Science
26
(3), 1983, pp. 343-353
Fixed point theorems and semantics: a folk tale
J.-L. Lassez
,
V.L. Nguyen
,
E.A. Sonenberg
Information Processing Letters
14
(3), 1982, May, pp. 112-116
A dual problem to least fixed points (Note)
V.L. Nguyen
,
J.L. Lassez
Theoretical Computer Science
16
, 1981, pp. 211-221