{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171392},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620310"},{"type":"electronic","value":"9783540496267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0027802","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:33:16Z","timestamp":1132641196000},"page":"299-308","source":"Crossref","is-referenced-by-count":3,"title":["Formal verification and evaluation of execution time in the envelope theory"],"prefix":"10.1007","author":[{"given":"Shigeru","family":"Igarashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masayuki","family":"Shio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuya","family":"Shirogane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuya","family":"Mizutani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,14]]},"reference":[{"key":"29_CR1","unstructured":"Ben-Ari, M.: Principles of concurrent programming, Prentice-Hall International, 1982."},{"key":"29_CR2","unstructured":"Chaochen, Z.: Duration calculi: an overview, International Institute for Software Technology, The United Nations University, UNI\/IIST Report, 10 (1993)."},{"key":"29_CR3","unstructured":"E. W. Dijkstra: Co-operating sequential process, Programming Languages (1968), pp, 43\u2013112."},{"key":"29_CR4","first-page":"1003","volume":"19","author":"S. Igarashi","year":"1978","unstructured":"Igarashi, S.: Verification of programs, Journal of Information Processing Society of Japan, 19 (1978), pp. 1003\u20131010 (in Japanese).","journal-title":"Journal of Information Processing Society of Japan"},{"key":"29_CR5","first-page":"769","volume-title":"Inf. Proc.","author":"S. Igarashi","year":"1983","unstructured":"Igarashi, S.: The-conversion and analytic semantics, Mason, R. E. A. (ed.), Inf. Proc., Elsevier Science Publishers B.V.(North-Holland), IFIP (1983), pp. 769\u2013774."},{"key":"29_CR6","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":"29_CR7","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BFb0032400","volume":"792","author":"S. Igarashi","year":"1994","unstructured":"Igarashi, S. Mizutani, T. and Tsuji, T. Hosono, C.: On locomorphism in analytical equivalence theory, Logic, Language and Computation: Festschrift in Honor of Satoru Takasu, Lecture notes in computer science 792 (1994), pp. 173\u2013187.","journal-title":"Lecture notes in computer science"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Kr\u00f6ger, F.: Temporal Logic of Programs, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-71549-5"},{"key":"29_CR9","unstructured":"Mizutani, T., Igarashi, S. and Tsuji, T.: An analytical equivalence theory of computer programs, Proceedings of International Symposium on Structures in Mathematical Theories (1990), pp. 199\u2013204."},{"key":"29_CR10","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":"29_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":"29_CR12","volume-title":"Proof theory","author":"G. Takeuti","year":"1975","unstructured":"Takeuti, G.: Proof theory, North-Holland, Amsterdam, 1975."}],"container-title":["Lecture Notes in Computer Science","Concurrency and Parallelism, Programming, Networking, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:45:35Z","timestamp":1586573135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620310","9783540496267"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0027802","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}