{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:37:52Z","timestamp":1725457072650},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540579354"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032401","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:30:32Z","timestamp":1134282632000},"page":"188-205","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of a software\/hardware system by tense arithmetic"],"prefix":"10.1007","author":[{"given":"Kohji","family":"Tomita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takashi","family":"Tsuji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeru","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, C. A. R. and Ravn, P.: A Calculus of Durations, Inf. Process. Lett., Vol. 40, pp.269\u2013276 (1991).","journal-title":"Inf. Process. Lett."},{"key":"11_CR2","unstructured":"Cousot, P.: Methods and Logics for Proving Programs, J. van Leeuwen, ed., Handbook of Theoretical Computer Science (1990)."},{"issue":"No.2","key":"11_CR3","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/FI-1991-15202","volume":"15","author":"T. Gao","year":"1991","unstructured":"Gao, T., Hosono, C. and Yamanaka, K.: An Analytic Semantics of CSP, Fundamenta Informaticae, Vol. 15, No. 2, pp.107\u2013122 (1991).","journal-title":"Fundamenta Informaticae"},{"issue":"No.10","key":"11_CR4","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R.: An Axiomatic Basis for Computer Programming, Comm. ACM, Vol. 12, No. 10, pp.576\u2013580,583 (1969).","journal-title":"Comm. ACM"},{"issue":"No.8","key":"11_CR5","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"Hoare, C. A. R.: Communicating Sequential Processes, Comm. ACM, Vol. 21, No. 8, pp.666\u2013677 (1978).","journal-title":"Comm. ACM"},{"key":"11_CR6","unstructured":"Hoare, C. A. R.: Communicating Sequential Processes, Prentice-Hall International (1985)."},{"key":"11_CR7","first-page":"769","volume-title":"Inf. Proc., IFIP","author":"S. Igarashi","year":"1983","unstructured":"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\u2013774 (1983)."},{"key":"11_CR8","first-page":"222","volume":"45","author":"S. Igarashi","year":"1987","unstructured":"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\u2013228 (1987).","journal-title":"TENSOR, N. S."},{"key":"11_CR9","first-page":"240","volume":"45","author":"S. Igarashi","year":"1987","unstructured":"Igarashi, S., Mizutani, T. and Tsuji, T.: Specifications of Parallel Program Processes in Analytical Semantics, TENSOR, N. S. Vol. 45, pp.240\u2013244 (1987).","journal-title":"TENSOR, N. S."},{"key":"11_CR10","unstructured":"Igarashi, S., Tsuji, T., Mizutani, T. and Haraguchi, T.: Experiments on Computerized Piano Accompaniment, Proceedings of the 1993 International Computer Music Conference, pp.415\u2013417 (1993)."},{"key":"11_CR11","unstructured":"Ikeda Y.: An interpreter of the higher typed logical programming language NU, Ph.D. Thesis, University of Tsukuba (in Japanese) (1993)."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Kr\u00f6ger, F.: Temporal Logic of Programs, Springer-Verlag (1987).","DOI":"10.1007\/978-3-642-71549-5"},{"key":"11_CR13","first-page":"657","volume-title":"Inf. Proc., IFIP","author":"L. Lamport","year":"1983","unstructured":"Lamport, L.: What Good is Temporal Logic?, R. E. A. Mason, ed., Inf. Proc., IFIP, Elsevier Science Publishers B. V.(North-Holland), pp.657\u2013668 (1983)."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems, LNCS 92, Springer-Verlag (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"11_CR15","unstructured":"Milner, R.: Communication and Concurrency, Prentice-Hall (1989)."},{"issue":"No.5","key":"11_CR16","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. Owicki","year":"1976","unstructured":"Owicki, S. and Gries, D.: Verifying Properties of Parallel Programs: An Axiomatic Approach, Comm. ACM, Vol. 19, No. 5, pp.279\u2013285 (1976).","journal-title":"Comm. ACM"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S. and Gries, D.: An Axiomatic Proof Technique for Parallel Programs I: Acta Inf., Vol. 6, pp.319\u2013340 (1976).","journal-title":"Acta Inf."},{"key":"11_CR18","unstructured":"Mizutani, T: An analytical equivalence theory of programs with applications, Ph.D. Thesis, University of Tsukuba (1987)."},{"key":"11_CR19","unstructured":"Mizutani, T., Igarashi, S. and Tsuji, T.: An Analytical Equivalence Theory of Computer Programs, A. D\u00edez, J. Echeverr\u00eda and A. Ibarra, eds., Structures in Mathematical Theories, Reports of the San Sebastian International Symposium, pp.199\u2013204 (1990)."},{"key":"11_CR20","unstructured":"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\u201398 (1988)."},{"key":"11_CR21","unstructured":"Shoenfield, J. R.: Mathematical Logic, Addison-Wesley (1967)."},{"key":"11_CR22","unstructured":"Takeuti, G.: Two Applications of Logic to Mathematics, Iwanami Shoten, Publishers and Princeton University Press (1978)."},{"issue":"No.5","key":"11_CR23","first-page":"1099","volume":"34","author":"K. Tomita","year":"1993","unstructured":"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\u20131106 (In Japanese) (1993).","journal-title":"Transactions of Information Processing Society of Japan"}],"container-title":["Lecture Notes in Computer Science","Logic, Language and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032401.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T07:32:30Z","timestamp":1626852750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540579354"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0032401","relation":{},"subject":[]}}