Recursive Mean-Value Calculus

1. Alur, R., Henzinger, T.A.: A Really Temporal Logic. Jour. ACM 41(1) (1994)

   Google Scholar 

2. Banieqbal, B., Barringer, H.: Temporal Logic with Fixed Points. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol. 398. Springer, Heidelberg (1989)

   Google Scholar 

3. Emerson, E.: Real-time and the Mu Calculus. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600. Springer, Heidelberg (1992)

   Google Scholar 

4. Emerson, E., Clarke, E.: Characterising Correctness Properties of Parallel Programs using Fixed-points. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85. Springer, Heidelberg (1980)

   Google Scholar 

5. Hansen, M.R., Pandya, P.K.: Zhou Chaochen. Finite Divergence. Theoretical Computer Science 138, 113–139 (1994)

   Article  MathSciNet  Google Scholar 

6. Hansen, M.R., Zhou, C.: Chaochen Zhou. Duration calculus: Logical foundations. Formal Aspects of Computing 9(3), 283–330 (1997)

   Article  MATH  Google Scholar 

7. Kozen, D.: Results on Propositional Mu-calculus. Thoeretical Computer Science 27, 333–354 (1983)

   Article  MATH  MathSciNet  Google Scholar 

8. Li, X.: A Mean Value Calculus. Ph.D. Thesis, Software Institute, Academia Sinica (1994)

   Google Scholar 

9. Moszkowski, B.: A Temporal Logic for Multi-level Reasoning about Hardware. IEEE Computer 18(2), 10–19 (1985)

   Google Scholar 

10. Pandya, P.K.: Some Extensions to Mean-Value Calculus: Expressiveness and Decidability. In: Kleine Büning, H. (ed.) CSL 1995. LNCS, vol. 1092. Springer, Heidelberg (1996)

    Google Scholar 

11. Pandya, P.K., Hung, D.V.: Duration Calculus of Weakly Monotonic Time. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, p. 55. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

12. Pandya, P.K., Ramakrishna, Y.S.: A Recursive Mean Value Calculus. Technical Report TCS-95/3, Computer Science Group, TIFR, Bombay (1995)

    Google Scholar 

13. Pandya, P.K., Ramakrishna, Y.S., Shyamasundar, R.K.: A Compositional Semantics of Esterel in Duration Calculus. In: Proc. Second AMAST workshop on Real-time Systems: Models and Proofs, Bordeux (June 1995)

    Google Scholar 

14. Pandya, P.K., Wang, H., Xu, Q.: Towards a Theory of Sequential Hybrid Programs. In: de Roever, W.P., Gries, D. (eds.) Proc. PROCOMET 1998, Shelter Island, New York. Chapman & Hall, Boca Raton (1998)

    Google Scholar 

15. Skakkebaek, J.U., Shankar, N.: Towards a Duration Calculus Proof Assistant in PVS. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863. Springer, Heidelberg (1994)

    Google Scholar 

16. Stirling, C.: Modal and Temporal logics. In: Handbook of Logic in Computer Science, vol. 2, pp. 476–563. Clarendon Press, Oxford (1995)

    Google Scholar 

17. Schneider, G., Xu, Q.: Towards Formal Semantics of Verilog using Duration Calculus. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, p. 282. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

18. Zhou, C., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letters 40(5), 269–276 (1991)

    Article  MATH  MathSciNet  Google Scholar 

19. Zhou, C., Li, X.: A Mean Value Calculus of Durations. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C.A.R. Hoare, pp. 431–451. Prentice Hall International, Englewood Cliffs (1994)

    Google Scholar 

Download references