Author:
Bozzelli Laura,Peron Adriano
Reference40 articles.
1. The temporal logic of programs;A Pnueli;Proc. 18th FOCS,1977
2. Sometimes" and "not never" revisited: on branching versus linear time temporal logic;E A Emerson;Journal of the ACM,1986
3. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic;E Clarke;Proc. Logics of Programs,1981
4. Specification and verification of concurrent programs in CESAR;J Queille;Proc. 5th SP,1982
5. A Propositional Modal Logic of Time Intervals;J Halpern;Journal of the ACM,1991