{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T09:40:21Z","timestamp":1738143621150,"version":"3.33.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,3,1]],"date-time":"2008-03-01T00:00:00Z","timestamp":1204329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci. China"],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1007\/s11704-008-0010-2","type":"journal-article","created":{"date-parts":[[2008,3,27]],"date-time":"2008-03-27T10:44:08Z","timestamp":1206614648000},"page":"22-28","source":"Crossref","is-referenced-by-count":7,"title":["Human factors in continuous time-concerned cooperative systems represented by N\u03a3-labeled calculus"],"prefix":"10.1007","volume":"2","author":[{"given":"Tetsuya","family":"Mizutani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeru","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masayuki","family":"Shio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasuwo","family":"Ikeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,3,28]]},"reference":[{"key":"10_CR1","unstructured":"Mizutani T, Igarashi S, Ikeda Y, et al. Labeled @-calculus: formalism for time-concerned human factors. In: Proceedings of AISC 2006. LNAI, 2006, 4120: 25\u201339"},{"key":"10_CR2","first-page":"12","volume":"64","author":"S. Igarashi","year":"2003","unstructured":"Igarashi S, Mizutani T, Ikeda Y, et al. Tense arithmetic II: @-calculus as an adaptation for formal number theory. Tensor, N. S., 2003, 64: 12\u201333","journal-title":"Tense arithmetic II: @-calculus as an adaptation for formal number theory"},{"key":"10_CR3","first-page":"132","volume":"59","author":"S. Igarashi","year":"1998","unstructured":"Igarashi S, Shirogane T, Shio M, et al. Tense arithmetic I: formalization of properties of programs in rational arithmetics. Tensor, N. S., 1998, 59: 132\u2013152","journal-title":"Tense arithmetic I: formalization of properties of programs in rational arithmetics"},{"key":"10_CR4","unstructured":"Igarashi S, Shio M, Mizutani T, et al. Specification and verification of cooperative realtiming processes in @-calculus. to appear"},{"key":"10_CR5","unstructured":"Hiraga R, Igarashi S. Psyche: computer music project, University of Tsukuba. In: Proceedings of International Computer Music Conference. 1997, 297\u2013300"},{"key":"10_CR6","volume-title":"Science of Music Expression","author":"S. Igarashi","year":"2000","unstructured":"Igarashi, S. Science of Music Expression. Tokyo: YAMAHA Music Media, 2000 (in Japanese)"},{"key":"10_CR7","first-page":"347","volume":"1179","author":"S. Igarashi","year":"1996","unstructured":"Igarashi S, Mizutani T, Shirogane T, et al: Formal analysis for continuous systems controlled by programs. LNCS, 1996, 1179: 347\u2013348","journal-title":"Formal analysis for continuous systems controlled by programs"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Mizutani T, Igarashi S, Shio M. Representation of a discretely controlled continuous system in tense arithmetic. Electr. Notes in Theor. Comp. Sci., 2001, 42. http:\/\/www.elsevier. com\/locate\/entcs\/volume42.html","DOI":"10.1016\/S1571-0661(04)80887-9"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Fagin R, Halpern J Y, Moses Y, et al. Reasoning About Knowledge. The MIT Press, 1995","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"10_CR10","first-page":"1","volume":"1548","author":"Z. Chaochen","year":"1998","unstructured":"Chaochen Z. Duration calculus, a logical approach to real-time systems. In: Proceedings of AMAST\u2019 98. LNCS, 1998, 1548: 1\u20137","journal-title":"Proceedings of AMAST\u2019 98"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W. Damm","year":"2006","unstructured":"Damm W, Hungar H, Olderog E R. Verification of cooperating traffic agents. International Journal of Control, 2006, 79: 395\u2013421","journal-title":"International Journal of Control"},{"key":"10_CR12","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"Shoenfield J R. Mathematical Logic. Massachusetts: Addison-Wesley Publishing Company, 1967"},{"key":"10_CR13","unstructured":"Igarashi S, Mizutani T, Ikeda Y, et al. Labeled calculi, logical spaces and cosmos. In: Proceedings of AWFS 2007. 2007, 39\u201341"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"McCarthy J, Sato M, Hayashi T, et al. On the Model Theory of Knowledge. Stanford University Technical Report, STNCS-78-657, 1979","DOI":"10.21236\/ADA065502"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-008-0010-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-008-0010-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-008-0010-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T08:35:53Z","timestamp":1738139753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-008-0010-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["10"],"URL":"https:\/\/doi.org\/10.1007\/s11704-008-0010-2","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"type":"print","value":"1673-7350"},{"type":"electronic","value":"1673-7466"}],"subject":[],"published":{"date-parts":[[2008,3]]}}}