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="Chandy, K. Mani"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Specification transformers: A predicate transformer approach to composition
Michel Charpentier
,
K. Mani Chandy
Acta Informatica
40
(4), 2004, pp. 265-301
Reasoning about composition using property transformers and their conjugates
Michel Charpentier
,
K. Mani Chandy
Lecture Notes in Computer Science
1872
, 2000, pp. 580-595
Examples of program composition illustrating the use of universal properties
Michel Charpentier
,
K. Mani Chandy
Lecture Notes in Computer Science
1586
, 1999, pp. 1215-1227
Parallel program archtypes
Berna L. Massingill
,
K. Mani Chandy
Proceedings of the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, IPPS/SPDP'99 (San Juan, Puerto Rico, April 12-16, 1999)
, 1999, pp. 290-296
A framework for structured distributed object computing
K. Mani Chandy
,
Joseph Kiniry
,
Adam Rifkin
,
Daniel Zimmerman
Parallel Computing
24
(12-13), 1998, pp. 1901-1922
A cottage industry of software publishing: Implications for theories of composition
K. Mani Chandy
,
Paolo A.G. Sivilotti
,
Joseph R. Kiniry
Lecture Notes in Computer Science
1388
, 1998, pp. 890-899
Fortran M: A language for modular parallel programming
Ian T. Foster
,
K. Mani Chandy
Journal Parallel Distributed Computing
26
(1), 1995, pp. 24-35
Writing correct parallel programs
K. Mani Chandy
Proceedings of the 7th International Parallel Processing Symposium, IPPS'93 (Newport Beach, California, April 13-16, 1993)
, 1993, pp. 630-634