@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}, pages = {115--149}, publisher = {EDP-Sciences}, volume = {26}, number = {2}, year = {1992}, mrnumber = {1166784}, zbl = {0766.68035}, language = {en}, url = {http://archive.numdam.org/item/ITA_1992__26_2_115_0/} }
TY - JOUR AU - Masini, A. AU - Maggiolo-Schettini, A. TI - TTL : a formalism to describe local and global properties of distributed systems JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1992 SP - 115 EP - 149 VL - 26 IS - 2 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1992__26_2_115_0/ LA - en ID - ITA_1992__26_2_115_0 ER -
%0 Journal Article %A Masini, A. %A Maggiolo-Schettini, A. %T TTL : a formalism to describe local and global properties of distributed systems %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1992 %P 115-149 %V 26 %N 2 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1992__26_2_115_0/ %G en %F 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, Volume 26 (1992) no. 2, pp. 115-149. http://archive.numdam.org/item/ITA_1992__26_2_115_0/
1. Modal Logic and Classical Logic, Bibliopolis, Napoli, 1985. | MR | Zbl
,2. The Temporal Logic of Branching Time, Acta Inform., 1983, 20, pp. 207-226. | MR | Zbl
, and ,3. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, A.C.M. Trans. Prog. Lang. Syst., 1986, 8, pp. 244-263. | Zbl
, and ,4. 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 | Zbl
, and ,5. 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
, and ,6. 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 | Zbl
and ,7. A Distributed Operational Semantics for CCS Based on Condition/Event Systems, Acta Inform., 1987, 26, pp. 59-91. | MR | Zbl
, and ,8. Alternative Semantics for Temporal Logics, Theoret. Comput. Sci., 1983, 26, pp. 121-130. | MR | Zbl
,9. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons, Sci. Comput. Programming, 1982, 2, pp. 241-266. | Zbl
and ,10. Décision Procedures and Expressiveness in the Temporal Logic of Branching Time, J. Comput. System Sci., 1985, 30, pp. 1-24. | MR | Zbl
and ,11. "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time Temporal Logic, J. A.C.M., 1986, 33, pp. 151-178. | MR | Zbl
and ,12. Modalities for Model Checking: Branching Time Strikes Back, 12th A.C.M. Symposium on Principles of Programming Languages, 1985, pp. 84-96.
and ,13. Deciding Full Branching Time Logic, Inform. and Control, 1984, 61, pp. 175-201. | MR | Zbl
and ,14. 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 | Zbl
and ,15. Temporal Logic of Programs, Springer, Berlin, 1987. | MR | Zbl
,16. "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. 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 | Zbl
and ,18. Synthesis of Communicating Process from Temporal Logic Specifications, A.C.M. Trans. Prog. Lang. Syst., 1984, 6, pp. 68-93. | Zbl
and ,19. 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. A Model and Temporal Proof System for Networks of Processes, Distributed Computing, 1986, 1, pp. 7-25. | Zbl
, , and ,21. 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 | Zbl
,