Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Control Flow and Data Flow: Concepts of Distributed Programming

International Summer School
BuchKartoniert, Paperback
525 Seiten
Englisch
Springererschienen am01.12.19861986
In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts.mehr

Produkt

KlappentextIn a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts.
Zusammenfassung
Details
ISBN/GTIN978-3-540-17082-2
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr1986
Erscheinungsdatum01.12.1986
Auflage1986
ReiheSpringer Study Edition
Seiten525 Seiten
SpracheEnglisch
Gewicht890 g
IllustrationenVIII, 525 p. 11 illus.
Artikel-Nr.18222954

Inhalt/Kritik

Inhaltsverzeichnis
On the Nature of Computing Science.- I. Operational Models of Distributed Systems.- Distributed Systems, Partial Orderings of Events, and Event Structures.- On Mixed Computation: Informal Account of the Strict and Polyvariant Computational Schemes.- II. Abstract Modelling of Distributed Systems.- Notes on Communicating Sequential Processes.- Lectures on a Calculus for Communicating Systems.- Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems.- III. Hardware as Distributed Systems.- The Architecture of Parallel Computers.- Data Flow Computation.- Concurrent Computations and VLSI Circuits.- IV. Design and Verification of Distributed Systems.- Proving Correctness of CSP Programs, a Tutorial.- Real Time Clocks versus Virtual Clocks.- The Image Construction in Computerized Axial Tomography.- Derivation of a Termination Detection Algorithm for Distributed Computations.- The Distributed Snapshot of K. M. Chandy and L. Lamport.- A Simple Fix Point Argument without the Restriction to Continuity.mehr

Autor

Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.
Weitere Artikel von
Regie: Bauer, F. L.