Algebraic Methodology and Software Technology

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Incremental Software Construction with Refinement Diagrams
3. Altmetric Badge
   Chapter 2 Recursive Program Schemes: Past, Present, and Future
4. Altmetric Badge
   Chapter 3 Monad-Based Logics for Computational Effects
5. Altmetric Badge
   Chapter 4 State Space Representation for Verification of Open Systems
6. Altmetric Badge
   Chapter 5 Algebraic Methodology and Software Technology
7. Altmetric Badge
   Chapter 6 Measuring the Speed of Information Leakage in Mobile Processes
8. Altmetric Badge
   Chapter 7 Formal Islands
9. Altmetric Badge
   Chapter 8 Some Programming Languages for Logspace and Ptime
10. Altmetric Badge
    Chapter 9 Opaque Predicates Detection by Abstract Interpretation
11. Altmetric Badge
    Chapter 10 DO- Casl: An Observer-Based Casl Extension for Dynamic Specifications
12. Altmetric Badge
    Chapter 11 Model Transformations Incorporating Multiple Views
13. Altmetric Badge
    Chapter 12 Hyperfinite Approximations to Labeled Markov Transition Systems
14. Altmetric Badge
    Chapter 13 State Space Reduction of Rewrite Theories Using Invisible Transitions
15. Altmetric Badge
    Chapter 14 Algebraic Methodology and Software Technology
16. Altmetric Badge
    Chapter 15 The Substitution Vanishes
17. Altmetric Badge
    Chapter 16 Decomposing Interactions
18. Altmetric Badge
    Chapter 17 Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
19. Altmetric Badge
    Chapter 18 Assessing the Expressivity of Formal Specification Languages
20. Altmetric Badge
    Chapter 19 Fork Algebras as a Sufficiently Rich Universal Institution
21. Altmetric Badge
    Chapter 20 Realizability Criteria for Compositional MSC
22. Altmetric Badge
    Chapter 21 Quantales and Temporal Logics
23. Altmetric Badge
    Chapter 22 Fractional Semantics
24. Altmetric Badge
    Chapter 23 Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic
25. Altmetric Badge
    Chapter 24 Testing Semantics: Connecting Processes and Process Logics
26. Altmetric Badge
    Chapter 25 Tableaux for Lattices
27. Altmetric Badge
    Chapter 26 Accelerated Modal Abstractions of Labelled Transition Systems
28. Altmetric Badge
    Chapter 27 A Compositional Semantics of Plan Revision in Intelligent Agents
29. Altmetric Badge
    Chapter 28 ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
30. Altmetric Badge
    Chapter 29 A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
31. Altmetric Badge
    Chapter 30 Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework