Series Foreword | |
Preface | |
The 27 Languages | |
Introduction | p. 1 |
Recursion and Iteration | p. 15 |
Nondeterminacy | p. 83 |
Variations | p. 121 |
Uniform Parallelism | p. 149 |
Unbounded Nondeterminism | p. 177 |
Locality | p. 195 |
Nonuniform Parallelism | p. 231 |
Recursion Revisited | p. 263 |
Nested Resumptions | p. 285 |
Domain Equations and Bisimulation | p. 315 |
Branching Domains at Work | p. 345 |
Extensions of Nonuniform Parallelism | p. 369 |
Concurrent Object-oriented Programming | p. 393 |
Atomization, Commit, and Action Refinement | p. 415 |
The Control Flow Kernel of Logic Programming | p. 443 |
True Concurrency | p. 473 |
Full Abstractness | p. 491 |
Second-order Assignment | p. 509 |
A Proofs of Topological Theorems | p. 519 |
B Direct Operational Semantics | p. 527 |
C Domain Equations | p. 531 |
D Further Reading | p. 539 |
Bibliography | p. 543 |
Author Index | p. 557 |
Subject Index | p. 561 |
Table of Contents provided by Blackwell. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.