عنوان

Control Flow and Data Flow:

شابک

364282921X

شابک

9783642829215

شماره

b574364

عنوان اصلي

Control Flow and Data Flow:

نام عام مواد

[Book]

ساير اطلاعات عنواني

Concepts of Distributed Programming : International Summer School

نام نخستين پديدآور

edited by Manfred Broy.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1986

نام خاص و کميت اثر

(VIII, 525 pages 11 illustrations)

عنوان فروست

Springer Study Edition

متن يادداشت

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.

متن يادداشت

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. The foundati ons of di stributed programming compri se all the fasci nating questions of computing science: the development of adequate com putational, conceptual and semantic model s for distributed systems, specification methods, verification techniques, transformation rules, the development of suitable representations by programming languages, evaluation and execution of programs describing distributed systems. Being the 7th in a series of ASI Summer Schools at Marktoberdorf, these lectures concentrated on distributed systems. Already during the previous Summer School s at Marktoberdorf aspects of di stributed systems were important periodical topics. The rising interest in distributed systems, their design and implementation led to a considerable amount of research in this area. This is impressively demonstrated by the broad spectrum of the topics of the papers in this vol ume, although they are far from being comprehensive for the work done in the area of distributed systems. Distributed systems are extraordinarily complex and allow many distinct viewpoints. Therefore the literature on distributed systems sometimes may look rather confusing to people not working in the field. Nevertheless there is no reason for resignation: the Summer School was able to show considerable convergence in ideas, approaches and concepts for distributed systems.

عنوان اصلي به زبان ديگر

Proceedings of the NATO Advanced Study Institute on Control Flow and Data Flow. Concepts of Distributed Programming Held at Marktoberdorf, Federal Republic of Germany, July 31 - August 12, 1984

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Microprogramming.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Manfred Broy.

مستند نام اشخاص تاييد نشده

Manfred Broy

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y