عنوان

Stepwise refinement of distributed systems :

(Number (ISBN

0387525599 (New York : acid-free paper)

(Number (ISBN

3540525599 (Berlin : acid-free paper)

(Number (ISBN

9780387525594 (New York : acid-free paper)

(Number (ISBN

9783540525592 (Berlin : acid-free paper)

Number

dltt

Title Proper

Stepwise refinement of distributed systems :

General Material Designation

[Book]

Other Title Information

models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /

First Statement of Responsibility

J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.

Place of Publication, Distribution, etc.

New York :

Name of Publisher, Distributor, etc.

Springer-Verlag,

Date of Publication, Distribution, etc.

c1990.

Specific Material Designation and Extent of Item

x, 808 p. :

Other Physical Details

ill. ;

Dimensions

25 cm.

Series Title

Lecture notes in computer science ;

Volume Designation

430.

Text of Note

Includes bibliographical references.

Text of Note

"The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications."--Publisher's website.

Title

Stepwise refinement of distributed systems.

Electronic data processing-- Distributed processing, Congresses.

Number

Edition

Class number

Book number

Bakker, J. W. de, (Jacobus Willem),1939-

Roever, W.-P. de,1943-

Rozenberg, Grzegorz.

Date of Transaction

20140613195336.0

Electronic name

[Book]

Y