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:...
przeczytaj całość
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+
ukryj opis