↓ Skip to main content
What is this page? Embed badge

Engineering Theories of Software Intensive Systems

Overview of attention for book
Cover of 'Engineering Theories of Software Intensive Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Incremental Software Construction with Refinement Diagrams
  3. Altmetric Badge
    Chapter 2 Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures
  4. Altmetric Badge
    Chapter 3 Interface-Based Design
  5. Altmetric Badge
    Chapter 4 The Dependent Delegate Dilemma
  6. Altmetric Badge
    Chapter 5 Formalizing Counterexample-Driven Refinement with Weakest Preconditions
  7. Altmetric Badge
    Chapter 6 A Mechanically Checked Proof of a Comparator Sort Algorithm
  8. Altmetric Badge
    Chapter 7 Keys in Formal Verification
  9. Altmetric Badge
    Chapter 8 On the Utility of Canonical Abstraction
  10. Altmetric Badge
    Chapter 9 Process Algebra: A Unifying Approach
  11. Altmetric Badge
    Chapter 10 Computation Orchestration
  12. Altmetric Badge
    Chapter 11 A Tree Semantics of an Orchestration Language
  13. Altmetric Badge
    Chapter 12 Model Driven Security
  14. Altmetric Badge
    Chapter 13 Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction
Attention for Chapter 9: Process Algebra: A Unifying Approach
Altmetric Badge

Readers on

citeulike
1 CiteULike
Summary
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.
Chapter title
Process Algebra: A Unifying Approach
Chapter number 9
Book title
Engineering Theories of Software Intensive Systems
Published by
Springer, Dordrecht, January 2005
DOI 10.1007/1-4020-3532-2_9
Book ISBNs
978-1-4020-3530-2, 978-1-4020-3532-6
Authors

Tony Hoare

View on publisher site

This page is provided by Altmetric.