IIST and UNU - UNU-IIST - United Nations University

More documents

Recommendations

Info

Yifeng Chen is a lecturer of the Department of computer Science at the University of Leicester. His research interest includes logics of computer science, programming and specification language designs, and formal specification. E-mail: Y.Chen@cs.le.ac.uk Zhiming Liu is a research fellow at UNU/IIST, on leave from Department of Computer Science at the University of Liecester, Liecester, England where he is a lecturer in computer science. His research interests include theory of computing systems, including sound methods for specification, verification and refinement of fault-tolerant, real-time and concurrent systems, and formal techniques for OO development. His teaching interests are Communication and Concurrency, Concurrent and Distributed Programming, Internet Security, Software Engineering, Formal specification and Design of Computer Systems. E-mail: Z.Liu@iis.unu.edu. Copyright c○ 2004 by UNU-IIST, Yifeng Chen and Zhiming Liu
Contents i Contents 1 Introduction 1 2 Predicative semantics of modal logics 2 3 Temporal logic of resource cumulation 6 4 Linking Duration Calculus and TLA 10 5 Case study: the Gas Burner 16 6 Conclusions 18 Report No. 301, UNU-IIST, P.O. Box 3058, Macau
Page 1 and 2: UNU/IIST International Institute fo
Page 3: UNU/IIST International Institute fo
Page 8 and 9: Predicative semantics of modal logi
Page 10 and 11: Predicative semantics of modal logi
Page 12 and 13: Temporal logic of resource cumulati
Page 14 and 15: Temporal logic of resource cumulati
Page 16 and 17: Linking Duration Calculus and TLA 1
Page 22 and 23: Case study: the Gas Burner 16 Figur
Page 24 and 25: Conclusions 18 There are many possi
Page 26: References 20 [17] C. Zhou, C. A. R

IIST and UNU - UNU-IIST - United Nations University

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?