论文信息 - Printed Copies: a Modal {calculus for Durational Transition Systems a Modal {calculus for Durational Transition Systems

Printed Copies: a Modal {calculus for Durational Transition Systems a Modal {calculus for Durational Transition Systems

Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to ftpmail@ftp.informatik.uni-trier.de, subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..

Helmut Seidl

[1] Colin Stirling,et al. Modal and temporal logics , 1993, LICS 1993.

[2] Dexter Kozen,et al. Results on the Propositional µ-Calculus , 1982, ICALP.

[3] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[4] Moshe Y. Vardi. A temporal fixpoint calculus , 1988, POPL '88.

[5] E. Emerson,et al. Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) , 1991, FOCS 1991.

[6] Somesh Jha,et al. An Improved Algorithm for the Evaluation of Fixpoint Expressions , 1994, Theor. Comput. Sci..

[7] Helmut Seidl. Least Solutions of Equations over N , 1994, ICALP.

[8] Marco Roccetti,et al. A Theory of Processes with Durational Actions , 1995, Theor. Comput. Sci..

[9] Pierre Wolper,et al. Automata theoretic techniques for modal logics of programs: (Extended abstract) , 1984, STOC '84.

[10] A. Prasad Sistla,et al. On Model-Checking for Fragments of µ-Calculus , 1993, CAV.

[11] Pierre Wolper,et al. An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) , 1994, CAV.