Visit our Christmas Gift Finder
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings - Lecture Notes in Computer Science 430 (Paperback)
  • Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings - Lecture Notes in Computer Science 430 (Paperback)
zoom

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings - Lecture Notes in Computer Science 430 (Paperback)

(editor), (editor), (editor), (editor)
£117.00
Paperback 812 Pages / Published: 25/04/1990
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540525592
Number of pages: 812
Weight: 2500 g
Dimensions: 235 x 155 x 41 mm
Edition: 1990 ed.

You may also be interested in...

Principles of Computer Hardware
Added to basket
Practical Reverse Engineering
Added to basket
The Art of Scalability
Added to basket
Professional CUDA C Programming
Added to basket
Beyond Software Architecture
Added to basket
Articulating Design Decisions
Added to basket
Computer Systems Architecture
Added to basket
Enterprise Data Architecture
Added to basket
The Soar Cognitive Architecture
Added to basket
Computer Systems Architecture
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.