Stepwise Refinement of Distributed Systems

Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)

Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by MARC Bot
March 26, 2025 | History

Stepwise Refinement of Distributed Systems

Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)

"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.

Publish Date
Publisher
Springer
Language
English
Pages
808

Buy this book

Book Details


First Sentence

"The transition-axiom method specifies concurrent systems by a combination of abstract programs and temporal logic [Lam89]."

The Physical Object

Format
Paperback
Number of pages
808

Edition Identifiers

Open Library
OL9058307M
ISBN 10
3540525599
ISBN 13
9783540525592
Goodreads
1724251

Work Identifiers

Work ID
OL18317707W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading Lists

History

Download catalog record: RDF / JSON
March 26, 2025 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
July 30, 2019 Edited by MARC Bot associate edition with work OL18317707W
February 5, 2019 Created by MARC Bot import existing book