{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,31]],"date-time":"2023-03-31T06:32:56Z","timestamp":1680244376103},"reference-count":32,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1051\/ita\/2011015","type":"journal-article","created":{"date-parts":[[2011,3,15]],"date-time":"2011-03-15T13:59:59Z","timestamp":1300197599000},"page":"117-142","source":"Crossref","is-referenced-by-count":1,"title":["The compositional construction of Markov processes II"],"prefix":"10.1051","volume":"45","author":[{"given":"L.","family":"de Francesco Albasini","sequence":"first","affiliation":[]},{"given":"N.","family":"Sabadini","sequence":"additional","affiliation":[]},{"given":"R. F.C.","family":"Walters","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,3,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"C. Baier, M. Gr\u00f6sser and F. Ciesinski,Model checking linear-time properties of probabilistic systems. Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science (2009), 519\u2013596.","DOI":"10.1007\/978-3-642-01492-5_13"},{"key":"R2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(95)00098-H","volume":"103","author":"Blass","year":"1991","journal-title":"J. Pure Appl. Algebra"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"S.L. Bloom and Z. \u00c9sik,Iteration Theories. EATCS Monographs on Theoretical Computer Science (1993).","DOI":"10.1007\/978-3-642-78034-9"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"R. Blute, A. Edalat and P. Panangaden, Bisimulation for Labelled Markov Processes,Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science(1997), 95\u2013106.","DOI":"10.7146\/brics.v4i4.18783"},{"key":"R5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"Carboni","year":"1987","journal-title":"J. Pure Appl. Algebra"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"B. Coecke and D. Pavlovic, Quantum measurements without sums, inMathematics of Quantum Computing and Technology. G. Chen, L. Kauffman and S. Lamonaco, Eds. Chapman & Hall (2007), 567\u2013604.","DOI":"10.1201\/9781584889007.ch16"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"B. Coecke and S. Perdrix,Environment and classical channels in categorical quantum mechanics. arXiv:1004.1598 (2010).","DOI":"10.1007\/978-3-642-15205-4_20"},{"key":"R8","unstructured":"L. de Francesco Albasini, N. Sabadini and R.F.C. Walters,The parallel composition of processes,ART 2008. Analysing Reduction systems using Transition systems, Forum, Udine (2008), 111\u2013121 (also arXiv:0904.3961)."},{"key":"R9","unstructured":"L. de Francesco Albasini, N. Sabadini and R.F.C. Walters, The compositional construction of Markov processes. arXiv:0901.2434."},{"key":"R10","unstructured":"L. de Francesco Albasini, N. Sabadini and R.F.C. Walters,Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems. arXiv:0909.4136."},{"key":"R11","doi-asserted-by":"crossref","unstructured":"M. Droste, W. Kuich and H. Vogler, Eds.,Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science (2009).","DOI":"10.1007\/978-3-642-01492-5"},{"key":"R12","unstructured":"S. Eilenberg,Automata, Languages, and Machines A. Academic Press, New York (1974)."},{"key":"R13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Program."},{"key":"R14","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0960129508007184","volume":"19","author":"Hasegawa","year":"2009","journal-title":"Math. Struct. Comput. Sci."},{"key":"R15","doi-asserted-by":"crossref","unstructured":"J. Hillston,A Compositional Approach to Performance Modelling. Cambridge University Press (1996).","DOI":"10.1017\/CBO9780511569951"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare,Communicating Sequential Processes. Prentice Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"R17","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"Joyal","year":"1996","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"R18","unstructured":"P. Katis, N. Sabadini and R.F.C. Walters, Span (Graph): A categorical algebra of transition systems,Proc. AMAST '97, SLNCS, Vol. 1349. Springer Verlag (1997), 307\u2013321."},{"key":"R19","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-45263-X_17","volume":"1906","author":"Katis","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"J. Kock,Frobenius algebras and 2D topological Quantum Field Theories. Cambridge University Press (2004).","DOI":"10.1017\/CBO9780511615443"},{"key":"R21","doi-asserted-by":"crossref","unstructured":"F.W. Lawvere, Some remarks on the future of category theory,Proceedings Category Theory 1990. Lecture Notes in Mathematics1488(1991) 1\u201313.","DOI":"10.1007\/BFb0084208"},{"key":"R22","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1137\/S0097539704446487","volume":"37","author":"Lynch","year":"2007","journal-title":"SIAM J. Comput."},{"key":"R23","doi-asserted-by":"crossref","unstructured":"R. Milner,A Calculus of Communicating Systems. Springer Verlag (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"R24","unstructured":"A. Pnueli and L. Zuck, Probabilistic verification by tableaux, inProceedings LICS'86.IEEE Computer Society Press (1986), 322\u2013331."},{"key":"R25","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"Rabin","year":"1963","journal-title":"Inform. Control"},{"key":"R26","first-page":"264","volume":"15","author":"Rosebrugh","year":"2005","journal-title":"Theory and Applications of Categories"},{"key":"R27","unstructured":"R. Segala,Modeling and Verification of Randomized Distributed Real-Time Systems, Ph.D. thesis, MIT Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, MA (1995). Also, Technical Report MIT\/LCS\/TR-676."},{"key":"R28","doi-asserted-by":"crossref","unstructured":"P. Soboci\u0144ski, A non-interleaving process calculus for multi-party synchronisation,Procedings ICE '09(2009).","DOI":"10.4204\/EPTCS.12.6"},{"key":"R29","unstructured":"A. Sokolova and E.P. de Vink,Probabilistic automata: system types, parallel composition and comparison. Lecture Notes in Computer Science2925(2004) 1\u201343."},{"key":"R30","doi-asserted-by":"crossref","unstructured":"Gh. Stefanescu,Network Algebra. Springer Verlag (2000).","DOI":"10.1007\/978-1-4471-0479-7"},{"key":"R31","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, S.A. Smolka and B. Steffen,Reactive, generative and stratified models of probabilistic processes. Inform. Comput. (1995).","DOI":"10.1006\/inco.1995.1123"},{"key":"R32","doi-asserted-by":"crossref","unstructured":"M. Vardi, Automatic verification of probabilistic concurrent finite-state programs, inProceedings FOCS'85. IEEE Computer Society Press (1985), 327\u2013338.","DOI":"10.1109\/SFCS.1985.12"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/2011015\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T09:27:36Z","timestamp":1637400456000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/2011015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":32,"journal-issue":{"issue":"1"},"alternative-id":["ita100058"],"URL":"https:\/\/doi.org\/10.1051\/ita\/2011015","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}