Synopsis
Part I: The Semantics of TLA+ and PlusCal
1. An Example
2. PlusCal
3. Operators and Functions
4. Constants, Models, and Imports
5. Concurrency
6. Temporal Logic
Part II: Applying TLA+
7. Algorithms
8. Data Structures
9. State Machines
10. Ambiguity and Feature Interation
11. Case Study: MapReduce
Appendix A: Mathematics
Appendix B: PT library
Appendix C: PlusCal to TLA+
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
