{"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":1725457072048},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540579354"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032400","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:30:32Z","timestamp":1134282632000},"page":"173-187","source":"Crossref","is-referenced-by-count":1,"title":["On locomorphism in analytical equivalence theory"],"prefix":"10.1007","author":[{"given":"Shigeru","family":"Igarashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuya","family":"Mizutani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takashi","family":"Tsuji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiharu","family":"Hosono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Hoare, C. A. R.: Communicating Sequential Processes, Prentice-Hall International, 1985."},{"key":"10_CR2","first-page":"1","volume":"1","author":"S. Igarashi","year":"1968","unstructured":"Igarashi, S.: An axiomatic approach to the equivalence problems of algorithms with applications, Rep. Comp. Centre Univ. Tokyo, 1 (1968), pp. 1\u2013101.","journal-title":"Rep. Comp. Centre Univ. Tokyo"},{"key":"10_CR3","unstructured":"Igarashi, S.: The v-conversion and an analytic semantics, in R. E. A. Mason (ed.), Inf. Proc. 83, Elsevier Science Publishers B.V., IFIP (1983), pp. 769\u2013774."},{"key":"10_CR4","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., 45 (1987), pp. 222\u2013228.","journal-title":"TENSOR, N. S."},{"key":"10_CR5","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., 45 (1987), pp. 240\u2013244.","journal-title":"TENSOR, N. S."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Kr\u00f6ger, F.: Temporal logic of programs, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-71549-5"},{"key":"10_CR7","unstructured":"Lamport, L.: What good is temporal logic?, in R. E. A. Mason (ed.), Inf. Proc. 83, Elsevier Science Publishers B.V., IFIP (1983), pp. 657\u2013668."},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1991-14103","volume":"XIV","author":"R. Loogen","year":"1991","unstructured":"Loogen, R. and Goltz, U.: Modelling nondeterministic concurrent processes with event structures, Fundamenta Informaticae, XIV (1991), pp. 39\u201374.","journal-title":"Fundamenta Informaticae"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(91)90041-Y","volume":"83","author":"Z. Manna","year":"1991","unstructured":"Manna, Z. and Pnueli, A.: Completing the temporal picture, Theor. Comp. Sci, 83 (1991), pp. 97\u2013130.","journal-title":"Theor. Comp. Sci"},{"key":"10_CR10","unstructured":"Milner, R.: Communication and Concurrency, Prentice-Hall International, 1989."},{"key":"10_CR11","first-page":"529","volume":"2","author":"T. Mizutani","year":"1985","unstructured":"Mizutani, T., Hosono, C. and Igarashi, S.: Verification of programs using v-definable acts, Computer Software, 2, (1985), pp. 529\u2013538 (in Japanese).","journal-title":"Computer Software"},{"key":"10_CR12","unstructured":"Mizutani, T.: An analytical equivalence theory of programs with applications., Ph. D. thesis, Univ. Tsukuba, 1987."},{"key":"10_CR13","unstructured":"Mizutani, T., Igarashi, S. and Tsuji, T.: An analytical equivalence theory of computer programs, in A. D\u00edas, J. Echevererr\u00eda and A. Ibarra (eds.), International symposium on structures in mathematical theories (1990), pp. 199\u2013204."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Moszkowski, B. C.: Executing Temporal Logic Programs, Cambridge Univ. Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(91)90390-N","volume":"80","author":"E.-R. Olderog","year":"1991","unstructured":"Olderog, E.-R.: Correctness of concurrent processes, Theor. Comp. Sci., 80 (1991), pp. 263\u2013288.","journal-title":"Theor. Comp. Sci."},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0304-3975(84)90091-4","volume":"33","author":"N. Soundararajan","year":"1984","unstructured":"Soundararajan, N.: Denotational semantics of CSP, Theor. Comp. Sci., 33 (1984), pp. 279\u2013304.","journal-title":"Theor. Comp. Sci."},{"key":"10_CR17","unstructured":"Takeuti, G.: Two applications of logic to mathematics, Princeton University Press, 1978."}],"container-title":["Lecture Notes in Computer Science","Logic, Language and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0032400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T07:32:28Z","timestamp":1626852748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032400"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540579354"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0032400","relation":{},"subject":[]}}