{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:53:40Z","timestamp":1760043220327},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548291"},{"type":"electronic","value":"9783642548307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54830-7_28","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:30:31Z","timestamp":1395394231000},"page":"426-440","source":"Crossref","is-referenced-by-count":7,"title":["A Coalgebraic Approach to Linear-Time Logics"],"prefix":"10.1007","author":[{"given":"Corina","family":"C\u00eerstea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press (2008)"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"C\u00eerstea, C.: From Branching to Linear Time, Coalgebraically. In: Baelde, D., Carayol, A. (eds.) Proc. FICS 2013. EPTCS, vol.\u00a0126, pp. 11\u201327 (2013)","DOI":"10.4204\/EPTCS.126.2"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Coumans, D., Jacobs, B.: Scalars, monads, and categories. In: Heunen, C., Sadrzadeh, M., Grefenstette, E. (eds.) Quantum Physics and Linguistics. A Compositional, Diagrammatic Discourse, pp. 184\u2013216. Oxford Univ. Press (2013)","DOI":"10.1093\/acprof:oso\/9780199646296.003.0007"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511809088"},{"issue":"2","key":"28_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1006\/inco.1998.2725","volume":"145","author":"C. Hermida","year":"1998","unstructured":"Hermida, C., Jacobs, B.: Structural induction and coinduction in a fibrational setting. Inf. Comput.\u00a0145(2), 107\u2013152 (1998)","journal-title":"Inf. Comput."},{"key":"28_CR6","unstructured":"Jacobs, B.: Introduction to coalgebra. Towards mathematics of states and observations (version 2.0). Draft (2012)"},{"issue":"1","key":"28_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P.C. Kanellakis","year":"1990","unstructured":"Kanellakis, P.C., Smolka, S.A.: CCS expressions, finite state processes, and three problems of equivalence. Inf. Comput.\u00a086(1), 43\u201368 (1990)","journal-title":"Inf. Comput."},{"key":"28_CR8","unstructured":"Kock, A.: Monads and extensive quantities, arXiv:1103.6009 (2011)"},{"issue":"1-3","key":"28_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(03)00201-9","volume":"309","author":"D. Pattinson","year":"2003","unstructured":"Pattinson, D.: Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Theor. Comput. Sci.\u00a0309(1-3), 177\u2013193 (2003)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54830-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:59:30Z","timestamp":1558857570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}