{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:56:22Z","timestamp":1725818182232},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_8","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"75-90","source":"Crossref","is-referenced-by-count":6,"title":["Simplified Coalgebraic Trace Equivalence"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Kurz","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Milius","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A., Larsen, K., Srba, J.: Reactive systems: modelling, specification and verification. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511814105"},{"key":"8_CR2","unstructured":"Aczel, P.: Non-Well-Founded Sets. CSLI, Stanford (1988)"},{"key":"8_CR3","unstructured":"Ad\u00e1mek, J.: Free algebras and automata realizations in the language of categories. Comment.\u00a0Math.\u00a0Univ.\u00a0Carolin. 15, 589\u2013602 (1974)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally presentable and accessible categories. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511600579"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BF01111838","volume":"116","author":"M. Barr","year":"1970","unstructured":"Barr, M.: Coequalizers and free triples. Math. Zeitschr.\u00a0116, 307\u2013322 (1970)","journal-title":"Math. Zeitschr."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Bonsangue, M., Caltais, G., Rutten, J., Silva, A.: Final semantics for decorated traces. In: Mathematical Foundations of Programming Semantics, MFPS 2012. ENTCS, vol.\u00a0286, pp. 73\u201386. Elsevier (2012)","DOI":"10.1016\/j.entcs.2012.08.006"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Bonsangue, M.M., Milius, S., Silva, A.: Sound and complete axiomatizations of coalgebraic language equivalence. ACM Trans.\u00a0Comput.\u00a0Log.\u00a014(1:7) (2013)","DOI":"10.1145\/2422085.2422092"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-642-54830-7_28","volume-title":"Foundations of Software Science and Computation Structures","author":"C. C\u00eerstea","year":"2014","unstructured":"C\u00eerstea, C.: A coalgebraic approach to linear-time logics. In: Muscholl, A. (ed.) FOSSACS 2014 (ETAPS). LNCS, vol.\u00a08412, pp. 426\u2013440. Springer, Heidelberg (2014)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/3-540-07854-1_231","volume-title":"Mathematical Foundations of Computer Science 1976","author":"V. Giarratana","year":"1976","unstructured":"Giarratana, V., Gimona, F., Montanari, U.: Observability concepts in abstract data type specifications. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol.\u00a045, pp. 576\u2013587. Springer, Heidelberg (1976)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, J., Thatcher, J.: Initial algebra semantics. In: Switching and Automata Theory, SWAT (FOCS) 1974, pp. 63\u201377. IEEE Computer Society (1974)","DOI":"10.1109\/SWAT.1974.13"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Log. Methods Comput. Sci.\u00a03 (2007)","DOI":"10.2168\/LMCS-3(4:11)2007"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Wirsing, M.: Observational Specification: A Birkhoff Theorem. In: Workshop on Theory and Applications of Abstract Data Types, WADT 1985, Selected Papers, pp. 119\u2013135. Springer (1985)","DOI":"10.1007\/978-3-662-09691-8_10"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Hoare, A.: Communicating sequential processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-32784-1_7","volume-title":"Coalgebraic Methods in Computer Science","author":"B. Jacobs","year":"2012","unstructured":"Jacobs, B., Silva, A., Sokolova, A.: Trace semantics via determinization. In: Pattinson, D., Schr\u00f6der, L. (eds.) CMCS 2012. LNCS, vol.\u00a07399, pp. 109\u2013129. Springer, Heidelberg (2012)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0004972700006353","volume":"22","author":"M. Kelly","year":"1980","unstructured":"Kelly, M.: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bull. Austral. Math. Soc.\u00a022, 1\u201383 (1980)","journal-title":"Bull. Austral. Math. Soc."},{"key":"8_CR16","unstructured":"Kissig, C., Kurz, A.: Generic trace logics. arXiv preprint 1103.3239 (2011)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Power, J., Turi, D.: A coalgebraic foundation for linear time semantics. In: Coalgebraic Methods in Computer Science, CMCS 1999. ENTCS, vol.\u00a029, pp. 259\u2013274. Elsevier (1999)","DOI":"10.1016\/S1571-0661(05)80319-6"},{"key":"8_CR18","unstructured":"Reichel, H.: Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. In: Math. Models in Comp. Systems, Proc. 3rd Hungarian Comp. Sci. Conference, pp. 27\u201339 (1981)"},{"key":"8_CR19","unstructured":"Silva, A., Bonchi, F., Bonsangue, M., Rutten, J.: Generalizing the powerset construction, coalgebraically. In: Lodaya, K., Mahajan, M. (eds.) Proc.\u00a0IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a08, pp. 272\u2013283 (2010)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Silva, A., Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M.: Generalizing determinization from automata to coalgebras. Log.\u00a0Methods Comput.\u00a0Sci.\u00a09(1:9) (2013)","DOI":"10.2168\/LMCS-9(1:9)2013"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Tao, T.: An Introduction to Measure Theory. AMS (2011)","DOI":"10.1090\/gsm\/126"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: Logic in Computer Science, LICS 1997, pp. 280\u2013291 (1997)","DOI":"10.1109\/LICS.1997.614955"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990","author":"R. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.: The linear time-branching time spectrum (extended abstract). In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 278\u2013297. Springer, Heidelberg (1990)"},{"key":"8_CR24","first-page":"184","volume":"338","author":"J. Worrell","year":"2005","unstructured":"Worrell, J.: On the final sequence of a finitary set functor. Theoret.\u00a0Comput.\u00a0Sci.\u00a0338, 184\u2013199 (2005)","journal-title":"Theoret.\u00a0Comput.\u00a0Sci."}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T17:18:52Z","timestamp":1566407932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}