Modeling and Analysis of Communicating Systems
By Jan Friso Groote and Mohammad Reza Mousavi
By Jan Friso Groote and Mohammad Reza Mousavi
Category: Science & Technology
-
$55.00
May 09, 2023 | ISBN 9780262547871
Buy the Paperback:
YOU MAY ALSO LIKE
CodeNotes for Oracle 9i
CodeNotes for .NET
CodeNotes for J#
Suppressed Inventions and Other Discoveries
Table Of Contents
Preface xiii
Acknowledgments xv
I Modeling 1
1 Introduction 3
2 Actions, Behavior, Equivalence, and Abstraction 7
3 Data Types 33
4 Sequential Processes 53
5 Parallel Processes 69
6 The Modal µ-calculus 85
7 Modeling System Behavior 103
8 Timed Process Behavior 121
II Analysis 139
9 Basic Manipulation of Processes 141
10 Linear Process Equations and Linearization 167
11 Confluence and τ-prioritization 189
12 Cones and Foci 199
13 Verification of Distributed Systems 213
14 Verification of Modal Formulas Using Parameterized Boolean Equation Systems 241
III Semantics 259
15 Semantics 261
IV Appendixes 295
A Brief Tool Primer 297
B Equational Definition of Built-In Data Types 305
C Plain-Text Notation 323
D Syntax of the Formalisms 329
E Axioms for Processes 337
F Answers to Exercises 343
Bibliography 359
21 Books You’ve Been Meaning to Read
Just for joining you’ll get personalized recommendations on your dashboard daily and features only for members.
Find Out More Join Now Sign In