Stepwise Refinement of Distributed Systems

Stepwise Refinement of Distributed Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 832
Release :
ISBN-10 : 3540525599
ISBN-13 : 9783540525592
Rating : 4/5 (592 Downloads)

Book Synopsis Stepwise Refinement of Distributed Systems by : Jaco W. de Bakker

Download or read book Stepwise Refinement of Distributed Systems written by Jaco W. de Bakker and published by Springer Science & Business Media. This book was released on 1990-04-25 with total page 832 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Stepwise Refinement of Distributed Systems Related Books

Stepwise Refinement of Distributed Systems
Language: en
Pages: 832
Authors: Jaco W. de Bakker
Categories: Computers
Type: BOOK - Published: 1990-04-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct dev
From Action Systems to Distributed Systems
Language: en
Pages: 302
Authors: Luigia Petre
Categories: Computers
Type: BOOK - Published: 2016-04-27 - Publisher: CRC Press

DOWNLOAD EBOOK

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting
CONCUR '92
Language: en
Pages: 596
Authors: Walter R. Cleaveland
Categories: Mathematics
Type: BOOK - Published: 1992-08-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all pres
Distributed Algorithms
Language: en
Pages: 446
Authors: Nicola Santoro
Categories: Computers
Type: BOOK - Published: 1991-06-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy, September 24-26, 1990. The workshop was
ZB 2000: Formal Specification and Development in Z and B
Language: en
Pages: 524
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 2000-08-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 2