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="Stark, E.W."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computations, residuals, and the power of indeterminacy
P. Panangaden
,
E.W. Stark
Lecture Notes in Computer Science
317
, 1988, pp. 439-454
Proving entailment between conceptual state specifications
E.W. Stark
Theoretical Computer Science
56
(1), 1988, January, pp. 135-154
Reaching approximate agreement in the presence of faults
D. Dolev
,
N.A. Lynch
,
S.S. Pinter
,
E.W. Stark
,
W.E. Weihl
Journal of the ACM
33
(3), 1986, pp. 499-516
Semaphore primitives and starvation-free mutual exclusion
E.W. Stark
Journal of the ACM
29
(4), 1982, pp. 1049-1072