KI-Beratung Beta

  • Produktbild: Control Flow and Data Flow: Concepts of Distributed Programming
  • Produktbild: Control Flow and Data Flow: Concepts of Distributed Programming

Control Flow and Data Flow: Concepts of Distributed Programming International Summer School

Aus der Reihe Springer Study Edition

Fr. 137.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.1986

Abbildungen

VIII, 525 p. 11 illus.

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

525

Maße (L/B/H)

24.4/17/2.9 cm

Gewicht

914 g

Auflage

1986

Sprache

Englisch

ISBN

978-3-540-17082-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.1986

Abbildungen

VIII, 525 p. 11 illus.

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

525

Maße (L/B/H)

24.4/17/2.9 cm

Gewicht

914 g

Auflage

1986

Sprache

Englisch

ISBN

978-3-540-17082-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Control Flow and Data Flow: Concepts of Distributed Programming
  • Produktbild: Control Flow and Data Flow: Concepts of Distributed Programming
  • 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.