{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:36:33Z","timestamp":1767137793591,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319059389","type":"print"},{"value":"9783319059396","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05939-6_24","type":"book-chapter","created":{"date-parts":[[2014,4,9]],"date-time":"2014-04-09T11:08:51Z","timestamp":1397041731000},"page":"238-249","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Coinductively Combinational Context-Awareness"],"prefix":"10.1007","author":[{"given":"Phan Cong","family":"Vinh","sequence":"first","affiliation":[]},{"given":"Nguyen Kim","family":"Quoc","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,10]]},"reference":[{"key":"24_CR1","volume-title":"Introductory Combinatorics","author":"RA Brualdi","year":"2004","unstructured":"Brualdi, R.A.: Introductory Combinatorics, 4th edn. Prentice Hall, Upper Saddle River (2004). 6 April 2004","edition":"4"},{"key":"24_CR2","volume-title":"Combinatorics: Topics, Techniques, Algorithms","author":"PJ Cameron","year":"2001","unstructured":"Cameron, P.J.: Combinatorics: Topics, Techniques, Algorithms. Cambridge University Press, New York (2001)"},{"key":"24_CR3","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"1","volume-title":"Proceedings of the MFPS 2001: 7th Conference on the Mathematical Foundations of Programming Semantics","author":"JJMM Rutten","year":"2001","unstructured":"Rutten, J.J.M.M.: Elements of stream calculus (an extensive exercise in coinduction). In: Brooks, S., Mislove, M. (eds.) Proceedings of the MFPS 2001: 7th Conference on the Mathematical Foundations of Programming Semantics. Electronic Notes in Theoretical Computer Science, vol. 45, pp. 1\u201366. Elsevier Science Publishers, Amsterdam (2001)"},{"key":"24_CR4","series-title":"LNCS","first-page":"276","volume-title":"FMCO 2003","author":"JJMM Rutten","year":"2004","unstructured":"Rutten, J.J.M.M.: An application of stream calculus to signal flow graphs. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 276\u2013291. Springer, Heidelberg (2004)"},{"issue":"2","key":"24_CR5","first-page":"319","volume":"8","author":"JJMM Rutten","year":"2003","unstructured":"Rutten, J.J.M.M.: Coinductive counting with weighted automata. J. Autom. Lang. Comb. 8(2), 319\u2013352 (2003)","journal-title":"J. Autom. Lang. Comb."},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-0-387-89828-5_16","volume-title":"Autonomic Computing and Networking","author":"PC Vinh","year":"2009","unstructured":"Vinh, P.C.: Formal aspects of self-* in autonomic networked computing systems. In: Zhang, Y., Yang, L.T., Denko, M.K. (eds.) Autonomic Computing and Networking, pp. 381\u2013410. Springer, New York (2009)"},{"key":"24_CR7","unstructured":"Vinh, P.C.: Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing, 1st edn., 236 pp. VDM Verlag, Saarbrucken (2009)"},{"key":"24_CR8","first-page":"170","volume-title":"Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification","author":"PC Vinh","year":"2011","unstructured":"Vinh, P.C.: Formal specification and verification of self-configuring P2P networking: a case study in mobile environments. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, 1st edn, pp. 170\u2013188. IGI Global, Hershey (2011)","edition":"1"},{"key":"24_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-28525-7_3","volume-title":"Transactions on Computational Science XV","author":"C-V Phan","year":"2012","unstructured":"Phan, C.-V.: Data intensive distributed computing in data aware self-organizing networks. In: Gavrilova, M.L., Tan, C.J.K., Phan, C.-V. (eds.) Transactions on Computational Science XV. LNCS, vol. 7050, pp. 74\u2013107. Springer, Heidelberg (2012)"},{"key":"24_CR10","series-title":"LNICST","first-page":"151","volume-title":"ICCASA 2012","author":"M Behan","year":"2013","unstructured":"Behan, M., Krejcar, O.: Concept of the personal devices content management using modular architecture and evaluation based design. In: Vinh, P.C., Hung, N.M., Tung, N.T., Suzuki, J. (eds.) ICCASA 2012. LNICST, vol. 109, pp. 151\u2013159. Springer, Heidelberg (2013)"},{"issue":"3","key":"24_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s11036-012-0404-0","volume":"18","author":"Phan Cong Vinh","year":"2012","unstructured":"Vinh, P.C., Tung, N.T.: Coalgebraic aspects of context-awareness. Mob. Netw. Appl., August 2012. doi:10.1007\/s11036-012-0404-0","journal-title":"Mobile Networks and Applications"},{"key":"24_CR12","series-title":"LNICST","first-page":"160","volume-title":"ICCASA 2012","author":"PC Vinh","year":"2013","unstructured":"Vinh, P.C., Tung, N.T., Van Phuc, N., Thanh, N.H.: Functional stream derivatives of context-awareness on P2P networks. In: Vinh, P.C., Hung, N.M., Tung, N.T., Suzuki, J. (eds.) ICCASA 2012. LNICST, vol. 109, pp. 160\u2013167. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Context-Aware Systems and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05939-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T12:22:50Z","timestamp":1712060570000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05939-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319059389","9783319059396"],"references-count":12,"aliases":["10.1007\/978-3-319-14227-2_24"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05939-6_24","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"10 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}