Temporal Logics in Computer Science
-10%
portes grátis
Temporal Logics in Computer Science
Finite-State Systems
Goranko, Valentin; Lange, Martin; Demri, Stephane
Cambridge University Press
10/2016
752
Dura
Inglês
9781107028364
15 a 20 dias
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
1. Introduction; Part I. Models: 2. Preliminaries and background I; 3. Transition systems; Part II. Logics: 4. Preliminaries and background II; 5. Basic modal logics; 6. Linear-time temporal logics; 7. Branching-time temporal logics; 8. The modal mu-calculus; 9. Alternating-time temporal logics; Part III. Properties: 10. Expressiveness; 11. Computational complexity; Part IV. Methods: 12. Frameworks for decision procedures; 13. Tableaux-based decision methods; 14. The automata-based approach; 15. The game-theoretic framework; References; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
1. Introduction; Part I. Models: 2. Preliminaries and background I; 3. Transition systems; Part II. Logics: 4. Preliminaries and background II; 5. Basic modal logics; 6. Linear-time temporal logics; 7. Branching-time temporal logics; 8. The modal mu-calculus; 9. Alternating-time temporal logics; Part III. Properties: 10. Expressiveness; 11. Computational complexity; Part IV. Methods: 12. Frameworks for decision procedures; 13. Tableaux-based decision methods; 14. The automata-based approach; 15. The game-theoretic framework; References; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
