{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T13:00:14Z","timestamp":1709384414825},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T00:00:00Z","timestamp":1280188800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s10485-010-9233-0","type":"journal-article","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T12:03:22Z","timestamp":1280145802000},"page":"425-437","source":"Crossref","is-referenced-by-count":2,"title":["The Compositional Construction of Markov Processes"],"prefix":"10.1007","volume":"19","author":[{"given":"Luisa","family":"de Francesco Albasini","sequence":"first","affiliation":[]},{"given":"Nicoletta","family":"Sabadini","sequence":"additional","affiliation":[]},{"given":"Robert F. C.","family":"Walters","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,27]]},"reference":[{"key":"9233_CR1","doi-asserted-by":"crossref","unstructured":"Blute, R., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. In: Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, pp. 95\u2013106 (1997)","DOI":"10.7146\/brics.v4i4.18783"},{"key":"9233_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A Carboni","year":"1987","unstructured":"Carboni, A., Walters, R.F.C.: Cartesian bicategories I. J. Pure Appl. Algebra 49, 11\u201332 (1987)","journal-title":". J. Pure Appl. Algebra"},{"key":"9233_CR3","unstructured":"de Francesco Albasini, L., Sabadini, N., Walters, R.F.C.: Cospan Span(Graphs): a compositional model for reconfigurable automata nets. In: Developments and New Tracks in Trace Theory, Cremona, Italy, 9\u201311 October 2008"},{"key":"9233_CR4","doi-asserted-by":"crossref","unstructured":"Droste, M., Kuich, W., Vogler, H. (Eds.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science (2009)","DOI":"10.1007\/978-3-642-01492-5"},{"key":"9233_CR5","doi-asserted-by":"crossref","unstructured":"Godsil, C., Royle, G.: Algebraic Graph Theory. Springer (2001)","DOI":"10.1007\/978-1-4613-0163-9"},{"key":"9233_CR6","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"9233_CR7","doi-asserted-by":"crossref","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Span(Graph): a categorical algebra of transition systems. In: Proc. AMAST \u201997, SLNCS, vol. 1349, pp. 307\u2013321. Springer (1997)","DOI":"10.1007\/BFb0000479"},{"key":"9233_CR8","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Compositionality for probabilistic automata. In: Proc. CONCUR 2003, Springer Lecture Notes in Computer Science, vol. 2761, pp. 204\u2013222 (2003)","DOI":"10.1007\/978-3-540-45187-7_14"},{"key":"9233_CR9","doi-asserted-by":"crossref","unstructured":"Rabin, M.O.: Probabilistic automata. Inf. Control 6, 230\u2013245 (1963)","DOI":"10.1016\/S0019-9958(63)90290-0"},{"key":"9233_CR10","doi-asserted-by":"crossref","unstructured":"Sokolova, A., de Vink, E.P.: Probabilistic automata: system types, parallel composition and comparison. In: Springer Lecture Notes in Computer Science, vol. 2925, pp. 1\u201343 (2004)","DOI":"10.1007\/978-3-540-24611-4_1"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-010-9233-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-010-9233-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-010-9233-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T16:53:19Z","timestamp":1559321599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-010-9233-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,27]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["9233"],"URL":"https:\/\/doi.org\/10.1007\/s10485-010-9233-0","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,27]]}}}