{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T17:15:41Z","timestamp":1712078141387},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,8,26]],"date-time":"2012-08-26T00:00:00Z","timestamp":1345939200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s11036-012-0404-0","type":"journal-article","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T12:34:10Z","timestamp":1345898050000},"page":"391-397","source":"Crossref","is-referenced-by-count":11,"title":["Coalgebraic Aspects of Context-Awareness"],"prefix":"10.1007","volume":"18","author":[{"given":"Phan","family":"Cong Vinh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nguyen","family":"Thanh Tung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,26]]},"reference":[{"key":"404_CR1","first-page":"397","volume-title":"4th international conference on formal methods for open object-based distributed systems, IFIP TC6\/WG6.1, 6\u20138 September 2000","author":"LS Barbosa","year":"2000","unstructured":"Barbosa LS (2000) Components as processes: an exercise in coalgebraic modeling. In: Smith SF, Talcott CL (eds) 4th international conference on formal methods for open object-based distributed systems, IFIP TC6\/WG6.1, 6\u20138 September 2000. Kluwer Academic Publishers, Stanford, CA, USA, pp\u00a0397\u2013417"},{"key":"404_CR2","unstructured":"Barbosa LS, Liu Z (eds) (2005) Proceedings of the 2nd international workshop on formal aspects of component software (FACS), Macao, 24\u201325 October 2005. UNU\/IIST. ENTCS"},{"key":"404_CR3","first-page":"141","volume-title":"International summer meeting on category theory, AMS Canadian Mathematical Society, 23\u201330 June 1991","author":"R Cockett","year":"1991","unstructured":"Cockett R, Spencer D (1991) Strong categorical datatypes I. In: Seely RAG (ed) International summer meeting on category theory, AMS Canadian Mathematical Society, 23\u201330 June 1991. AMS, Montr\u00e9al, Qu\u00e9bec, Canada, pp\u00a0141\u2013169"},{"key":"404_CR4","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-18508-9_24","volume-title":"Category theory and computer science, September 1987","author":"T Hagino","year":"1987","unstructured":"Hagino T (1987) A typed lambda calculus with categorical type constructors. In: Pitt DH, Poign\u00e9 A, Rydeheard DE (eds) Category theory and computer science, September 1987. Lecture notes in computer science, vol\u00a0283. Springer\u2013Verlag, Edinburgh, UK, pp\u00a0140\u2013157"},{"key":"404_CR5","first-page":"222","volume":"62","author":"B Jacobs","year":"1997","unstructured":"Jacobs B, Rutten J (1997) A tutorial on (Co)Algebras and (Co)Induction. Bulletin of EATCS 62:222\u2013259","journal-title":"Bulletin of EATCS"},{"key":"404_CR6","doi-asserted-by":"crossref","unstructured":"Kiczales G, Lamping J, Menhdhekar A, Maeda C, Lopes C, Loingtier JM, Irwin J (1997) Aspect-oriented programming. In: Ak\u015fit M, Matsuoka S (eds) 11th European conference on object-oriented programming (ECOOP), 10 June 1997. Lecture notes in computer science, vol\u00a01241. The paper originating AOP, Springer\u2013Verlag, Jyv\u00e4skyl\u00e4, Finland, pp\u00a0220\u2013242","DOI":"10.1007\/BFb0053381"},{"key":"404_CR7","first-page":"263","volume-title":"Programming concepts and methods (PROCOMET), IFIP international federation for information processing, 8\u201312 June 1998","author":"RB Kieburtz","year":"1998","unstructured":"Kieburtz RB (1998) Reactive functional programming. In: Gries D, Roever WPde (eds) Programming concepts and methods (PROCOMET), IFIP international federation for information processing, 8\u201312 June 1998. Chapman and Hall, Shelter Island, NY, USA, pp\u00a0263\u2013284"},{"key":"404_CR8","first-page":"373","volume-title":"Mixed motives, mathematical surveys and monographs, vol\u00a057, chapter I, II, II of part II","author":"M Levine","year":"1998","unstructured":"Levine M (1998) Categorical algebra. In: Benkart G, Ratiu TS, Masur HA, Renardy M (eds) Mixed motives, mathematical surveys and monographs, vol\u00a057, chapter I, II, II of part II, American Mathematical Society, USA, pp\u00a0373\u2013499"},{"key":"404_CR9","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"conference on functional programming languages and computer architecture, 26\u201330 August 1991","author":"E Meijer","year":"1991","unstructured":"Meijer E, Fokkinga M, Paterson R (1991) Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes J (ed) ACM conference on functional programming languages and computer architecture, 26\u201330 August 1991. Lecture notes in computer science, vol\u00a0523. Springer\u2013Verlag, Cambridge, MA, USA, pp\u00a0124\u2013144"},{"key":"404_CR10","volume-title":"Advanced modern algebra","author":"JJ Rotman","year":"2002","unstructured":"Rotman JJ (2002) Advanced modern algebra, 1st edn. Prentice Hall, USA","edition":"1"},{"key":"404_CR11","series-title":"Lecture notes in computer science","volume-title":"9th international conference on concurrency theory (CONCUR), 8\u201311 September 1998","author":"JJMM Rutten","year":"1998","unstructured":"Rutten JJMM (1998) Automata and coinduction (an exercise in coalgebra). In: 9th international conference on concurrency theory (CONCUR), 8\u201311 September 1998. Lecture notes in computer science, vol\u00a01466. Springer\u2013Verlag, Nice, France, pp\u00a0194\u2013218"},{"issue":"1","key":"404_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten JJMM (2000) Universal coalgebra: a theory of systems. Theor Comp Sci 249(1):3\u201380","journal-title":"Theor Comp Sci"},{"key":"404_CR13","unstructured":"Rutten JJMM (2001) Elements of stream calculus (an extensive exercise in coinduction). In: Proceedings of the 17th annual conference on mathematical foundations of programming semantics (MFPS \u201901), Aarhus, Denmark, ENTCS, vol 45. Elsevier Science B.V., 66 p"},{"key":"404_CR14","unstructured":"Rutten JJMM (2005) Algebra, bitstreams, and circuits. Technical Report SEN-R0502, CWI, Amsterdam, The Netherlands"},{"key":"404_CR15","volume-title":"Basic category theory","year":"2002","unstructured":"van Oosten J (2002) Basic category theory. Department of Mathematics, Utrecht University, The Netherlands"},{"key":"404_CR16","unstructured":"Vinh PC (2009) Autonomic computing and networking, chapter formal aspects of self-* in autonomic networked computing systems. Springer, pp\u00a0381\u2013410"},{"key":"404_CR17","unstructured":"Vinh PC (2009) Dynamic reconfigurability in reconfigurable computing systems: formal aspects of computing, 1st edn. VDM Verlag, 236\u00a0p"},{"key":"404_CR18","unstructured":"Vinh PC (2011) Formal and practical aspects of autonomic computing and networking: specification, development, and verification, chapter formal specification and verification of self-configuring p2p networking: a case study in mobile environments, 1st edn. IGI Global, pp\u00a0170\u2013188"},{"key":"404_CR19","first-page":"74","volume-title":"Transactions on computational science XV: special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems","author":"PC Vinh","year":"2012","unstructured":"Vinh PC (2012) Data intensive distributed computing in data aware self-organizing networks. In: Transactions on computational science XV: special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Springer, Berlin, pp 74\u2013107"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-012-0404-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11036-012-0404-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-012-0404-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T04:13:26Z","timestamp":1562127206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11036-012-0404-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,26]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["404"],"URL":"https:\/\/doi.org\/10.1007\/s11036-012-0404-0","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,26]]}}}