{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:01Z","timestamp":1762459021926},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642327834"},{"type":"electronic","value":"9783642327841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32784-1_7","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:59:34Z","timestamp":1344862774000},"page":"109-129","source":"Crossref","is-referenced-by-count":14,"title":["Trace Semantics via Determinization"],"prefix":"10.1007","author":[{"given":"Bart","family":"Jacobs","sequence":"first","affiliation":[]},{"given":"Alexandra","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Sokolova","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"38","key":"7_CR1","doi-asserted-by":"publisher","first-page":"4989","DOI":"10.1016\/j.tcs.2011.03.021","volume":"412","author":"A. Balan","year":"2011","unstructured":"Balan, A., Kurz, A.: On coalgebras over algebras. Theor. Comp. Sci.\u00a0412(38), 4989\u20135005 (2011)","journal-title":"Theor. Comp. Sci."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985) (revized and corrected version), \n                  \n                    www.cwru.edu\/artsci\/math\/wells\/pub\/ttt.html","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"7_CR3","unstructured":"Bonsangue, M.M., Milius, S., Silva, A.: Sound and complete axiomatizations of coalgebraic language equivalence, arxiv.org\/abs\/1104.2803 (2011)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics, vol.\u00a050, 51 and 52. Cambridge Univ. Press (1994)","DOI":"10.1017\/CBO9780511525865"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-04081-8_12","volume-title":"CONCUR 2009 - Concurrency Theory","author":"M. Boreale","year":"2009","unstructured":"Boreale, M.: Weighted Bisimulation in Linear Algebraic Form. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 163\u2013177. Springer, Heidelberg (2009)"},{"key":"7_CR6","unstructured":"Castro, P., Panangaden, P., Precup, D.: Equivalence relations in fully and partially observable Markov decision processes. In: Proc. IJCAI 2009, pp. 1653\u20131658 (2009)"},{"issue":"38","key":"7_CR7","doi-asserted-by":"publisher","first-page":"5025","DOI":"10.1016\/j.tcs.2011.04.025","volume":"412","author":"C. C\u00eerstea","year":"2011","unstructured":"C\u00eerstea, C.: Maximal traces and path-based coalgebraic temporal logics. Theor. Comput. Sci.\u00a0412(38), 5025\u20135042 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Coumans, D., Jacobs, B.: Scalars, monads and categories. In: Heunen, C., Sadrzadeh, M. (eds.) Compositional Methods in Physics and Linguistics, Oxford Univ. Press (2012)","DOI":"10.1093\/acprof:oso\/9780199646296.003.0007"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-23217-6_9","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"S. Crafa","year":"2011","unstructured":"Crafa, S., Ranzato, F.: A Spectrum of Behavioral Relations over LTSs on Probability Distributions. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011 \u2013 Concurrency Theory. LNCS, vol.\u00a06901, pp. 124\u2013139. Springer, Heidelberg (2011)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C.: Characterising testing preorders for finite probabilistic processes. Logical Methods in Computer Science\u00a04(4) (2008)","DOI":"10.2168\/LMCS-4(4:4)2008"},{"issue":"12","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1756","DOI":"10.1016\/j.ic.2006.09.001","volume":"204","author":"E. Doberkat","year":"2006","unstructured":"Doberkat, E.: Eilenberg-moore algebras for stochastic relations. Information and Computation\u00a0204(12), 1756\u20131781 (2006)","journal-title":"Information and Computation"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace theory via coinduction. Logical Methods in Computer Science\u00a03(4:11) (2007)","DOI":"10.2168\/LMCS-3(4:11)2007"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.ic.2010.11.024","volume":"209","author":"H. Hermanns","year":"2011","unstructured":"Hermanns, H., Parma, A., Segala, R., Wachter, B., Zhang, L.: Probabilistic logical characterization. Information and Computation\u00a0209(2), 154\u2013172 (2011)","journal-title":"Information and Computation"},{"key":"7_CR14","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Wesley (2006)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-19805-2_2","volume-title":"Foundations of Software Science and Computational Structures","author":"B. Jacobs","year":"2011","unstructured":"Jacobs, B.: Coalgebraic Walks, in Quantum and Turing Computation. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 12\u201326. Springer, Heidelberg (2011)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1112\/blms\/7.3.294","volume":"7","author":"P.T. Johnstone","year":"1975","unstructured":"Johnstone, P.T.: Adjoint lifting theorems for categories of algebras. Bull. London Math. Soc.\u00a07, 294\u2013297 (1975)","journal-title":"Bull. London Math. Soc."},{"key":"7_CR17","unstructured":"Kissig, C., Kurz, A.: Generic trace logics (2011), \n                  \n                    http:\/\/arxiv.org\/abs\/1103.3239"},{"key":"7_CR18","volume-title":"Algebraic Theories","author":"E.G. Manes","year":"1974","unstructured":"Manes, E.G.: Algebraic Theories. Springer, Berlin (1974)"},{"key":"7_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1971)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093(1), 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-71389-0_21","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Parma","year":"2007","unstructured":"Parma, A., Segala, R.: Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 287\u2013301. Springer, Heidelberg (2007)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/11784180_24","volume-title":"Algebraic Methodology and Software Technology","author":"D. Pavlovic","year":"2006","unstructured":"Pavlovic, D., Mislove, M.W., Worrell, J.B.: Testing Semantics: Connecting Processes and Process Logics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 308\u2013322. Springer, Heidelberg (2006)"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BFb0015027","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R. Segala","year":"1994","unstructured":"Segala, R., Lynch, N.A.: Probabilistic Simulations for Probabilistic Processes. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 481\u2013496. Springer, Heidelberg (1994)"},{"key":"7_CR24","unstructured":"Silva, A.: Kleene coalgebra. PhD thesis, Radboud University Nijmegen (2010)"},{"key":"7_CR25","unstructured":"Silva, A., Bonchi, F., Bonsangue, M., Rutten, J.: Generalizing the powerset construction, coalgebraically. In: Proc. FSTTCS 2010. LIPIcs, vol.\u00a08, pp. 272\u2013283 (2010)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Silva, A., Sokolova, A.: Sound and complete axiomatization of trace semantics for probabilistic systems. In: Proc. MFPS 2011. ENTCS, vol.\u00a0276, pp. 291\u2013311 (2011)","DOI":"10.1016\/j.entcs.2011.09.027"},{"issue":"1","key":"7_CR27","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0960129505005074","volume":"16","author":"D. Varacca","year":"2006","unstructured":"Varacca, D., Winskel, G.: Distributing probability over non-determinism. Mathematical Structures in Computer Science\u00a016(1), 87\u2013113 (2006)","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32784-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:15:48Z","timestamp":1620130548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32784-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642327834","9783642327841"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32784-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}