{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:16:34Z","timestamp":1725524194434},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540889137"},{"type":"electronic","value":"9783540889144"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-88914-4_16","type":"book-chapter","created":{"date-parts":[[2009,1,5]],"date-time":"2009-01-05T17:46:12Z","timestamp":1231177572000},"page":"119-127","source":"Crossref","is-referenced-by-count":0,"title":["Lax Invariant in Coalgebra"],"prefix":"10.1007","author":[{"given":"Jie-lin","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"71","volume-title":"Coalgebraic Methods in Computer Science","author":"B. Jacobs","year":"2003","unstructured":"Jacobs, B., Hughes, J.: Simulations in coalgebra. In: Gunm, H.P. (ed.) Coalgebraic Methods in Computer Science. Electronic Notes in Theoretical Computer Science, vol.\u00a082(1), pp. 71\u2013109. Elsevier, Amsterdam (2003)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/BFb0055624","volume-title":"CONCUR \u201998 Concurrency Theory","author":"J. Rutten","year":"1998","unstructured":"Rutten, J.: Automata and coinduction:An exercise in coalgebra. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 194\u2013218. Springer, Heidelberg (1998)"},{"key":"16_CR3","unstructured":"Worrell, J.: On coalgebras and final semantics, Ph.D.Thesis, Computing Laboratory, Oxford University (2000)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Worrell, J.: Toposes of coalgebras and hidden algebras. In: Jacobs, B., Moss, L., Reichel, H., Rutten, J. (eds.) Procedings of the CMCS 1998. Electronic Notes in Theoretical Computer Science, vol.\u00a011 (1998)","DOI":"10.1016\/S1571-0661(04)00060-X"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249, 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Worrell, J.: Toposes of coalgebras and hidden algebras. In: Jacobus, B., Moss, L., Reichel, H., Rutten, J. (eds.) Coalgebraic Methods in Computer Science, Amsterdam. Electronic Notes in Theoretical Computer Science, vol.\u00a011 (1998)","DOI":"10.1016\/S1571-0661(04)00060-X"},{"key":"16_CR7","unstructured":"Hughes, J.: A Study of Categories of Algebras and Coalgebras, Ph.D.Thesis, Camegie Mellon University (2001)"},{"key":"16_CR8","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Coalgebraic Methods in Computer Science","author":"B. Jacobs","year":"2002","unstructured":"Jacobs, B.: Comprehension for coalgebras. In: Moss, L. (ed.) Coalgebraic Methods in Computer Science. Electronic Notes in Theoretical Computer Science, vol.\u00a065(1). Elsevier, Amsterdam (2002)"},{"issue":"10","key":"16_CR9","first-page":"1661","volume":"14","author":"Z. Xiaocong","year":"2003","unstructured":"Xiaocong, Z., Zhongmei, S.: A Survey on the Coalgebraic Methods in Computer Science. Journal of Software\u00a014(10), 1661\u20131671 (2003)","journal-title":"Journal of Software"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0304-3975(00)00124-9","volume":"260","author":"P.T. Johnstone","year":"2001","unstructured":"Johnstone, P.T., Power, A.J., Tsujishita, T., Watanabe, H., Worrell, J.: On the structure of categories of coalgebras. Theoretical Computer Science\u00a0260, 87\u2013117 (2001)","journal-title":"Theoretical Computer Science"},{"key":"16_CR11","unstructured":"Jacobs, B.: Introduction to Coalgebra,Towards Mathematics of States and Observations, Draft (2005)"},{"issue":"11","key":"16_CR12","first-page":"134","volume":"155","author":"L. Xiaohui","year":"2007","unstructured":"Xiaohui, L., Lei, F.: Weak Invariant and Restrict Product of LTS. Computer Engineering And Science\u00a0155(11), 134\u2013136 (2007)","journal-title":"Computer Engineering And Science"},{"key":"16_CR13","unstructured":"Lei, F.: The Study For Several Topics in Domain Theory,Ph.D.Thesis. Beijing Capital Normal University (2001)"},{"key":"16_CR14","volume-title":"Frame and Continuous Lattices","author":"Z. Chongyou","year":"2000","unstructured":"Chongyou, Z., Lei, F., Hongbin, C.: Frame and Continuous Lattices. Capital Normal University Press, Beijing (2000)"}],"container-title":["Advances in Soft Computing","Fuzzy Information and Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88914-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T12:12:30Z","timestamp":1619525550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88914-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540889137","9783540889144"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88914-4_16","relation":{},"ISSN":["1867-5662","1860-0794"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1860-0794"}],"subject":[]}}