CONTENTS
2.2 Examples of Processes and Basic Concepts
2.8 Labeled Transition Systems (LTSs)
2.9.2 Synchronization Operator || (Blot Version)
2.9.3 Examples of Parallel Compositions
2.9.6 Interleaving Operator |||
3. From Digital Hardware to Processes
3.4 Modulo-N Transition Counters
3.4.1 Modulo-N Transition Counter Specification
3.4.2 Modulo-N Transition Counter Implementations
3.4.2.1 The Cases N = 3 and N = 4
3.6 Propositional Logic: A Review of Known Concepts
3.6.2 Proving Logical Equivalences
Get Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.