Skip to main content
Presented to you through Paradigm Publishing Services

Princeton University Press

Visit our Partner Page See all our books
Chapter
Licensed
Unlicensed Requires Authentication

Index

Chapters in this book

  1. Frontmatter i
  2. Contents vii
  3. Preface xi
  4. Chapter 1. Introduction 1
  5. Chapter 2. Boolean Algebra 31
  6. Chapter 3. L-matrix 45
  7. Chapter 4. L-language 51
  8. Chapter 5. String Acceptors 63
  9. Chapter 6. ω-theory: L-automaton/L-process 77
  10. Chapter 7. The Selection/Resolution Model of Coordinating Processes 109
  11. Chapter 8. Reduction of Verification 153
  12. Chapter 9. Structural Induction 203
  13. Chapter 10. Binary Decision Diagrams 215
  14. Appendices 231
  15. Bibliography 241
  16. Glossary 263
  17. Index 264
  18. Backmatter 271
Computer-Aided Verification of Coordinating Processes
This chapter is in the book Computer-Aided Verification of Coordinating Processes
https://doi.org/10.1515/9781400864041.264

Chapters in this book

  1. Frontmatter i
  2. Contents vii
  3. Preface xi
  4. Chapter 1. Introduction 1
  5. Chapter 2. Boolean Algebra 31
  6. Chapter 3. L-matrix 45
  7. Chapter 4. L-language 51
  8. Chapter 5. String Acceptors 63
  9. Chapter 6. ω-theory: L-automaton/L-process 77
  10. Chapter 7. The Selection/Resolution Model of Coordinating Processes 109
  11. Chapter 8. Reduction of Verification 153
  12. Chapter 9. Structural Induction 203
  13. Chapter 10. Binary Decision Diagrams 215
  14. Appendices 231
  15. Bibliography 241
  16. Glossary 263
  17. Index 264
  18. Backmatter 271
Downloaded on 27.4.2026 from https://www.degruyterbrill.com/document/doi/10.1515/9781400864041.264/html?lang=en
Scroll to top button