TTL : a formalism to describe local and global properties of distributed systems
Masini, A. ; Maggiolo-Schettini, A.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992), p. 115-149 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1992-01-01
@article{ITA_1992__26_2_115_0,
     author = {Masini, A. and Maggiolo-Schettini, A.},
     title = {TTL : a formalism to describe local and global properties of distributed systems},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {26},
     year = {1992},
     pages = {115-149},
     mrnumber = {1166784},
     zbl = {0766.68035},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1992__26_2_115_0}
}

Masini, A.; Maggiolo-Schettini, A. TTL : a formalism to describe local and global properties of distributed systems. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992) pp. 115-149. http://gdmltest.u-ga.fr/item/ITA_1992__26_2_115_0/

1. J. Van Benthem, Modal Logic and Classical Logic, Bibliopolis, Napoli, 1985. | MR 832432 | Zbl 0639.03014

2. M. Ben-Ari, A. Pnueli and Z. Manna, The Temporal Logic of Branching Time, Acta Inform., 1983, 20, pp. 207-226. | MR 733676 | Zbl 0533.68036

3. E. M. Clarke, E. A. Emerson and A. P. Sistla, Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, A.C.M. Trans. Prog. Lang. Syst., 1986, 8, pp. 244-263. | Zbl 0591.68027

4. E. M. Clarke, O. Grumberg and R. P. Kurshan, A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems, "Logic at Botik '89", Lect. Notes in Comput. Sci., 1989, 363, Springer, Berlin, pp. 81-90. | MR 1030568 | Zbl 0688.68019

5. E. M. Clarke, D. E. Long and K. L. Mcmillan, Compositional Model Checking, "Fourth Annual Symposium on Logic in Computer Science", I.E.E.E. Computer Society Press, Washington, D.C., 1989, pp. 353-362. | Zbl 0716.68035

6. M. Danelutto and A. Masini, A Temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems, "CSL'88", Lecture Notes in Comput. Sci, 1989, 385, Springer, Berlin, pp. 63-79. | MR 1035562 | Zbl 0746.68030

7. P. Degano, R. De Nicola and U. Montanari, A Distributed Operational Semantics for CCS Based on Condition/Event Systems, Acta Inform., 1987, 26, pp. 59-91. | MR 969870 | Zbl 0656.68061

8. E. A. Emerson, Alternative Semantics for Temporal Logics, Theoret. Comput. Sci., 1983, 26, pp. 121-130. | MR 726915 | Zbl 0559.68050

9. E. A. Emerson and E. M. Clarke, Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons, Sci. Comput. Programming, 1982, 2, pp. 241-266. | Zbl 0514.68032

10. E. A. Emerson and J. Y. Halpern, Décision Procedures and Expressiveness in the Temporal Logic of Branching Time, J. Comput. System Sci., 1985, 30, pp. 1-24. | MR 788828 | Zbl 0559.68051

11. E. A. Emerson and J. Y. Halpern, "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time Temporal Logic, J. A.C.M., 1986, 33, pp. 151-178. | MR 820103 | Zbl 0629.68020

12. E. A. Emerson and C. L. Lei, Modalities for Model Checking: Branching Time Strikes Back, 12th A.C.M. Symposium on Principles of Programming Languages, 1985, pp. 84-96.

13. E. A. Emerson and A. P. Sistla, Deciding Full Branching Time Logic, Inform. and Control, 1984, 61, pp. 175-201. | MR 773404 | Zbl 0593.03007

14. P. Enjalbert and M. Michel, Many-Sorted Temporal Logic for Multi-Process Systems, "Mathematical Foundations of Computer Science, 1984", Lecture Notes in Comput. Sci., 176, Springer, Berlin, 1984, pp. 273-281. | MR 783456 | Zbl 0558.68026

15. F. Kröger, Temporal Logic of Programs, Springer, Berlin, 1987. | MR 889458 | Zbl 0609.03007

16. L. Lamport, "Sometimes" is Sometimes "Not Never": On the Temporal Logic of Programs, 7th A.C.M. Symposium on Principles of Programming Languages, 1980, pp. 174-185.

17. K. Lodaya and P. S. Thiagarajan, A Modal Logic for a Subclass of Event Structures, Automata Languages and Programming '87, Lecture Notes in Comput. Sci., 1987. 267, Springer, Berlin, pp. 290-303. | MR 912717 | Zbl 0643.68026

18. Z. Manna and P. Wolper, Synthesis of Communicating Process from Temporal Logic Specifications, A.C.M. Trans. Prog. Lang. Syst., 1984, 6, pp. 68-93. | Zbl 0522.68030

19. A. Masini, I Sistemi di Interazione: una proposta di formalizzazione logico-temporale e di realizzazione semanticamente corretta, Tesi di Laurea in Scienze dell'Informazione,Università di Pisa, 1986.

20. V. Nguyen, A. Demers, D. Gries and S. Owicki, A Model and Temporal Proof System for Networks of Processes, Distributed Computing, 1986, 1, pp. 7-25. | Zbl 0598.68025

21. H. F. Wedde, An Iterative and Starvation-Free Solution for a General Class of Distributed Control Problems Based on Interaction Primitives, Theoret. Comput. Sci., 1983, 24, pp. 1-20. | MR 707645 | Zbl 0511.68013