Analysis of a software/hardware system by tense arithmetic

1. Chaochen, Z., Hoare, C. A. R. and Ravn, P.: A Calculus of Durations, Inf. Process. Lett., Vol. 40, pp.269–276 (1991).

   Article  Google Scholar 

2. Cousot, P.: Methods and Logics for Proving Programs, J. van Leeuwen, ed., Handbook of Theoretical Computer Science (1990).

   Google Scholar 

3. Gao, T., Hosono, C. and Yamanaka, K.: An Analytic Semantics of CSP, Fundamenta Informaticae, Vol. 15, No. 2, pp.107–122 (1991).

   MathSciNet  Google Scholar 

4. Hoare, C. A. R.: An Axiomatic Basis for Computer Programming, Comm. ACM, Vol. 12, No. 10, pp.576–580,583 (1969).

   Article  Google Scholar 

5. Hoare, C. A. R.: Communicating Sequential Processes, Comm. ACM, Vol. 21, No. 8, pp.666–677 (1978).

   Article  Google Scholar 

6. Hoare, C. A. R.: Communicating Sequential Processes, Prentice-Hall International (1985).

   Google Scholar 

7. Igarashi, S.: The v-conversion and an Analytic Semantics, R. E. A. Mason, ed., Inf. Proc., IFIP, Elsevier Science Publishers B. V.(North-Holland), pp.769–774 (1983).

   Google Scholar 

8. Igarashi, S., Mizutani, T. and Tsuji, T.: An Analytical Semantics of Parallel Program Processes Represented by v-conversion, TENSOR, N. S. Vol. 45, pp.222–228 (1987).

   Google Scholar 

9. Igarashi, S., Mizutani, T. and Tsuji, T.: Specifications of Parallel Program Processes in Analytical Semantics, TENSOR, N. S. Vol. 45, pp.240–244 (1987).

   Google Scholar 

10. Igarashi, S., Tsuji, T., Mizutani, T. and Haraguchi, T.: Experiments on Computerized Piano Accompaniment, Proceedings of the 1993 International Computer Music Conference, pp.415–417 (1993).

    Google Scholar 

11. Ikeda Y.: An interpreter of the higher typed logical programming language NU, Ph.D. Thesis, University of Tsukuba (in Japanese) (1993).

    Google Scholar 

12. Kröger, F.: Temporal Logic of Programs, Springer-Verlag (1987).

    Google Scholar 

13. Lamport, L.: What Good is Temporal Logic?, R. E. A. Mason, ed., Inf. Proc., IFIP, Elsevier Science Publishers B. V.(North-Holland), pp.657–668 (1983).

    Google Scholar 

14. Milner, R.: A Calculus of Communicating Systems, LNCS 92, Springer-Verlag (1980).

    Google Scholar 

15. Milner, R.: Communication and Concurrency, Prentice-Hall (1989).

    Google Scholar 

16. Owicki, S. and Gries, D.: Verifying Properties of Parallel Programs: An Axiomatic Approach, Comm. ACM, Vol. 19, No. 5, pp.279–285 (1976).

    Article  Google Scholar 

17. Owicki, S. and Gries, D.: An Axiomatic Proof Technique for Parallel Programs I: Acta Inf., Vol. 6, pp.319–340 (1976).

    Article  Google Scholar 

18. Mizutani, T: An analytical equivalence theory of programs with applications, Ph.D. Thesis, University of Tsukuba (1987).

    Google Scholar 

19. Mizutani, T., Igarashi, S. and Tsuji, T.: An Analytical Equivalence Theory of Computer Programs, A. Díez, J. Echeverría and A. Ibarra, eds., Structures in Mathematical Theories, Reports of the San Sebastian International Symposium, pp.199–204 (1990).

    Google Scholar 

20. Pnueli, A. and Harel, E.: Applications of temporal logic to the specification of real time systems, M. Joseph, ed., Proc. Symp. Formal Techn. in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 331, pp.84–98 (1988).

    Google Scholar 

21. Shoenfield, J. R.: Mathematical Logic, Addison-Wesley (1967).

    Google Scholar 

22. Takeuti, G.: Two Applications of Logic to Mathematics, Iwanami Shoten, Publishers and Princeton University Press (1978).

    Google Scholar 

23. Tomita, K., Tsuji, T. and Igarashi, S.: An Analysis of a Real Time Problem Using v-Conversion and Its Safety Conditions, Transactions of Information Processing Society of Japan, Vol.34, No.5, pp.1099–1106 (In Japanese) (1993).

    Google Scholar 

Download references