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="Elrad, T."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Modeling distributed termination with pre-defined partial termination ordering
T. Elrad
,
N.K. Kumar
,
J.R. Kenevan
Proceedings of the 2nd IEEE Symposium on Parallel and Distributed Processing, SPDP'90 (Dallas, Texas, December 9-13, 1990)
, 1990, pp. 373-376
A weakest precondition semantics for communicating processes
T. Elrad
,
N. Francez
Theoretical Computer Science
29
(3), 1984, pp. 231-250
Decomposition of distributed programs into communication-closed layers
T. Elrad
,
N. Francez
Technical Report (RC 9760), 1982