{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T11:10:14Z","timestamp":1739877014956,"version":"3.37.3"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2010,2,12]],"date-time":"2010-02-12T00:00:00Z","timestamp":1265932800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Vis Comput"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1007\/s00371-010-0420-7","type":"journal-article","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T14:50:34Z","timestamp":1265899834000},"page":"297-309","source":"Crossref","is-referenced-by-count":12,"title":["Designing and modeling cyberworlds using the incrementally modular abstraction hierarchy based on homotopy theory"],"prefix":"10.1007","volume":"26","author":[{"given":"Kenji","family":"Ohmori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tosiyasu L.","family":"Kunii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,12]]},"reference":[{"key":"420_CR1","volume-title":"Essential Business Process Modeling","author":"M. Havey","year":"2005","unstructured":"Havey, M.: Essential Business Process Modeling. O\u2019Reilly Media, Cambridge (2005)"},{"key":"420_CR2","volume-title":"A Distributed Pi-Calculus","author":"M. Hennessy","year":"2001","unstructured":"Hennessy, M.: A Distributed Pi-Calculus. Cambridge University Press, Cambridge (2001)"},{"issue":"5","key":"420_CR3","first-page":"790","volume":"E88-D","author":"T.L. Kunii","year":"2005","unstructured":"Kunii, T.L.: Cyberworlds\u2014Theory, design and potetial. Trans. Inst. Electron. Inf. Commun. Eng. E88-D(5), 790\u2013800 (2005)","journal-title":"Trans. Inst. Electron. Inf. Commun. Eng."},{"issue":"12","key":"420_CR4","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1007\/s00371-006-0040-4","volume":"22","author":"T.L. Kunii","year":"2006","unstructured":"Kunii, T.L., Ohmori, K.: Cyberworlds: Architecture and modeling by an incrementally modular abstraction hierarchy. Vis. Comput. 22(12), 949\u2013964 (2006)","journal-title":"Vis. Comput."},{"key":"420_CR5","unstructured":"May, D.: Communicating process architecture for multicores. In: The 30th Communicating Process Architectures Conference, pp. 21\u201332 (2007)"},{"key":"420_CR6","volume-title":"Communicating and Mobile Systems: Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"420_CR7","doi-asserted-by":"crossref","unstructured":"Ohmori, K., Kunii, T.L.: An incrementally modular abstraction hierarchy for linear software development methodology. In: Int. Conf. on Cyberworlds 2006, pp. 216\u2013223 (2006)","DOI":"10.1109\/CW.2006.14"},{"key":"420_CR8","unstructured":"Ohmori, K., Kunii, T.L.: Development of an accounting system. In: ICEIS2007, pp. 437\u2013444 (2007)"},{"key":"420_CR9","doi-asserted-by":"crossref","unstructured":"Ohmori, K., Kunii, T.L.: The mathematical structure of cyberworlds. In: Int. Conf. on Cyberworlds 2007, pp. 100\u2013107 (2007)","DOI":"10.1109\/CW.2007.19"},{"key":"420_CR10","doi-asserted-by":"crossref","unstructured":"Ohmori, K., Kunii, T.L.: Mathematical modeling of ubiquitous systems. In: Int. Conf. on Cyberworlds 2008, pp. 69\u201374 (2008)","DOI":"10.1109\/UMEDIA.2008.4570868"},{"key":"420_CR11","doi-asserted-by":"crossref","unstructured":"Ohmori, K., Kunii, T.L.: A pi-calculus modeling method for cyberworlds systems using the duality between a fibration and a cofibration. In: Int. Conf. on Cyberworlds 2008, pp.\u00a0363\u2013370 (2008)","DOI":"10.1109\/CW.2008.74"},{"key":"420_CR12","doi-asserted-by":"crossref","unstructured":"Ohmori, K., Kunii, T.L.: Mathematical foundation for designing and modeling cybeworlds. In: Int. Conf. on Cyberworlds 2009, pp. 80\u201387 (2009)","DOI":"10.1109\/CW.2009.20"},{"key":"420_CR13","unstructured":"Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi-calculus. Indiana University CSCI Technical Report 476, pp. 1\u201326 (1997)"},{"key":"420_CR14","volume-title":"The Pi-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"1999","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (1999)"},{"key":"420_CR15","volume-title":"An Introduction to Topology and Homotopy","author":"A.J. Sieradski","year":"1992","unstructured":"Sieradski, A.J.: An Introduction to Topology and Homotopy. PWS-Kent, Boston (1992)"},{"key":"420_CR16","volume-title":"Algebraic Topology","author":"E.H. Spanier","year":"1966","unstructured":"Spanier, E.H.: Algebraic Topology. Springer, New York (1966)"}],"container-title":["The Visual Computer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00371-010-0420-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00371-010-0420-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00371-010-0420-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T10:14:02Z","timestamp":1739873642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00371-010-0420-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,12]]},"references-count":16,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["420"],"URL":"https:\/\/doi.org\/10.1007\/s00371-010-0420-7","relation":{},"ISSN":["0178-2789","1432-2315"],"issn-type":[{"type":"print","value":"0178-2789"},{"type":"electronic","value":"1432-2315"}],"subject":[],"published":{"date-parts":[[2010,2,12]]}}}