{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:40:45Z","timestamp":1743126045908,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642034282"},{"type":"electronic","value":"9783642034299"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03429-9_17","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T08:12:52Z","timestamp":1251447172000},"page":"251-265","source":"Crossref","is-referenced-by-count":3,"title":["A Coalgebraic Characterization of Behaviours in the Linear Time \u2013 Branching Time Spectrum"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Monteiro","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","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(1), 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of process algebra","author":"R. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.: The linear time\u2013branching time spectrum I: the semantics of concrete, sequential processes. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of process algebra, pp. 3\u201399. Elsevier, Amsterdam (2001)"},{"key":"17_CR3","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"259","volume-title":"CTCS 1999, Conference on Category Theory and Computer Science","author":"J. Power","year":"1999","unstructured":"Power, J., Turi, D.: A coalgebraic foundation for linear time semantics. In: Hofmann, M., Rosolini, G., Pavlovic, D. (eds.) CTCS 1999, Conference on Category Theory and Computer Science. Electronic Notes in Theoretical Computer Science, vol.\u00a029, pp. 259\u2013274. Elsevier, Amsterdam (1999)"},{"key":"17_CR4","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"167","volume-title":"Coalgebraic Methods in Computer Science","author":"B. Jacobs","year":"2004","unstructured":"Jacobs, B.: Trace semantics for coalgebras. In: Adamek, J., Milius, S. (eds.) Coalgebraic Methods in Computer Science. Electronic Notes in Theoretical Computer Science, vol.\u00a0106, pp. 167\u2013184. Elsevier, Amsterdam (2004)"},{"issue":"4:11","key":"17_CR5","first-page":"1","volume":"3","author":"I. Hasuo","year":"2007","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Logical Methods in Computer Science\u00a03(4:11), 1\u201336 (2007)","journal-title":"Logical Methods in Computer Science"},{"key":"17_CR6","unstructured":"Monteiro, L.: A coalgebraic characterization of behaviours in the linear time \u2013 branching time spectrum. Technical Report UNL-DI 4-2008, Universidade Nova de Lisboa (2008), \n                    \n                      http:\/\/ctp.di.fct.unl.pt\/~lm\/publications\/tr4-2008.pdf"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03429-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T10:37:24Z","timestamp":1552127844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03429-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034282","9783642034299"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03429-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}