↓ Skip to main content

Stepwise Refinement of Distributed Systems

Overview of attention for book
Cover of 'Stepwise Refinement of Distributed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 59 Composing specifications
  3. Altmetric Badge
    Chapter 60 Refinement calculus, part I: Sequential nondeterministic programs
  4. Altmetric Badge
    Chapter 61 Refinement calculus, part II: Parallel and reactive programs
  5. Altmetric Badge
    Chapter 62 MetateM: A framework for programming in temporal logic
  6. Altmetric Badge
    Chapter 63 Constraint-oriented specification in a constructive formal description technique
  7. Altmetric Badge
    Chapter 64 Functional specification of time sensitive communicating systems
  8. Altmetric Badge
    Chapter 65 Modular verification of Petri Nets
  9. Altmetric Badge
    Chapter 66 Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings
  10. Altmetric Badge
    Chapter 67 Algebraic implementation of objects over objects
  11. Altmetric Badge
    Chapter 68 Refinement of actions in causality based models
  12. Altmetric Badge
    Chapter 69 Transformation of combined data type and process specifications using projection algebras
  13. Altmetric Badge
    Chapter 70 Various simulations and refinements
  14. Altmetric Badge
    Chapter 71 On decomposing and refining specifications of distributed systems
  15. Altmetric Badge
    Chapter 72 Verifying the correctness of AADL modules using model checking
  16. Altmetric Badge
    Chapter 73 Specialization in logic programming: From horn clause logic to prolog and concurrent prolog
  17. Altmetric Badge
    Chapter 74 Analysis of discrete event coordination
  18. Altmetric Badge
    Chapter 75 Refinement and projection of relational specifications
  19. Altmetric Badge
    Chapter 76 Compositional theories based on an operational semantics of contexts
  20. Altmetric Badge
    Chapter 77 Multivalued possibilities mappings
  21. Altmetric Badge
    Chapter 78 Completeness theorems for automata
  22. Altmetric Badge
    Chapter 79 Formal verification of data type refinement — Theory and practice
  23. Altmetric Badge
    Chapter 80 From trace specifications to process terms
  24. Altmetric Badge
    Chapter 81 Some comments on the assumption-commitment framework for compositional verification of distributed programs
  25. Altmetric Badge
    Chapter 82 Refinement of concurrent systems based on local state transformations
  26. Altmetric Badge
    Chapter 83 Construction of network protocols by stepwise refinement
  27. Altmetric Badge
    Chapter 84 A derivation of a broadcasting protocol using sequentially phased reasoning
  28. Altmetric Badge
    Chapter 85 Verifying atomic data types
  29. Altmetric Badge
    Chapter 86 Predicates, predicate transformers and refinement
  30. Altmetric Badge
    Chapter 87 Foundations of compositional program refinement
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

facebook
1 Facebook page

Citations

dimensions_citation
24 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Stepwise Refinement of Distributed Systems
Published by
Springer Science & Business Media, April 1990
DOI 10.1007/3-540-52559-9
ISBNs
978-3-54-052559-2, 978-3-54-047035-9
Editors

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

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 60%
Other 1 20%
Student > Master 1 20%
Readers by discipline Count As %
Computer Science 3 60%
Decision Sciences 1 20%
Engineering 1 20%