{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:46Z","timestamp":1725566146523},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642157837"},{"type":"electronic","value":"9783642157844"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15784-4_18","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T08:39:38Z","timestamp":1284971978000},"page":"268-283","source":"Crossref","is-referenced-by-count":4,"title":["Composing Systems While Preserving Probabilities"],"prefix":"10.1007","author":[{"given":"Sonja","family":"Georgievska","sequence":"first","affiliation":[]},{"given":"Suzana","family":"Andova","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"18_CR1","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1093\/comjnl\/30.6.498","volume":"30","author":"J.C.M. Baeten","year":"1987","unstructured":"Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: Ready-trace semantics for concrete process algebra with the priority operator. The Computer Journal\u00a030(6), 498\u2013506 (1987)","journal-title":"The Computer Journal"},{"issue":"1-2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S1567-8326(02)00040-1","volume":"55","author":"D. Cazorla","year":"2003","unstructured":"Cazorla, D., Cuartero, F., Valero, V., Pelayo, F.L., Pardo, J.J.: Algebraic theory of probabilistic and nondeterministic processes. Journal of Logic and Algebraic Programming\u00a055(1-2), 57\u2013103 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-74407-8_4","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"K. Chatzikokolakis","year":"2007","unstructured":"Chatzikokolakis, K., Palamidessi, C.: Making random choices invisible to the scheduler. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 42\u201358. Springer, Heidelberg (2007)"},{"issue":"1-2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.tcs.2006.07.033","volume":"365","author":"L. Cheung","year":"2006","unstructured":"Cheung, L., Lynch, N., Segala, R., Vaandrager, F.: Switched PIOA: Parallel composition via distributed scheduling. Theoret. Comp. Science\u00a0365(1-2), 83\u2013108 (2006)","journal-title":"Theoret. Comp. Science"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-44685-0_24","volume-title":"CONCUR 2001 - Concurrency Theory","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T., Jhala, R.: Compositional methods for probabilistic systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 351\u2013365. Springer, Heidelberg (2001)"},{"issue":"4:4","key":"18_CR6","first-page":"1","volume":"4","author":"Y. Deng","year":"2008","unstructured":"Deng, Y., van Glabbeek, R.J., Hennessy, M., Morgan, C.: Characterising testing preorders for finite probabilistic processes. Logical Methods in Computer Science\u00a04(4:4), 1\u201333 (2008)","journal-title":"Logical Methods in Computer Science"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-12032-9_7","volume-title":"Foundations of Software Science and Computational Structures","author":"S. Georgievska","year":"2010","unstructured":"Georgievska, S., Andova, S.: Retaining the probabilities in probabilistic testing theory. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 79\u201393. Springer, Heidelberg (2010)"},{"key":"18_CR8","unstructured":"Georgievska, S., Andova, S.: Process theory for probabilistic ready-trace equivalence. Technical Report (2010), http:\/\/www.win.tue.nl\/~sgeorgie\/axioms2010.pdf"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Giro, S., D\u2019Argenio, P.: On the expressive power of schedulers in distributed probabilistic systems. In: Proc. QAPL 2009. ENTCS, vol.\u00a0253(3), pp. 45\u201371 (2009)","DOI":"10.1016\/j.entcs.2009.10.005"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra, ch. 1","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J.: The linear time \u2013 branching time spectrum I; The semantics of concrete, sequential processes. In: Handbook of Process Algebra, ch. 1, pp. 3\u201399. Elsevier, Amsterdam (2001)"},{"key":"18_CR11","volume-title":"Time and Probability in Formal Design of Distributed Systems","author":"H.A. Hansson","year":"1994","unstructured":"Hansson, H.A.: Time and Probability in Formal Design of Distributed Systems. Elsevier, Amsterdam (1994)"},{"key":"18_CR12","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G.J.: A fully abstract metric-space denotational semantics for reactive probabilistic processes. In: Proc. COMPROX 1998. ENTCS, vol.\u00a013 (1998)","DOI":"10.1016\/S1571-0661(05)80222-1"},{"key":"18_CR14","volume-title":"Introduction to Probability and Statistics from a Bayesian Viewpoint","author":"D.V. Lindley","year":"1980","unstructured":"Lindley, D.V.: Introduction to Probability and Statistics from a Bayesian Viewpoint. Cambridge University Press, Cambridge (1980)"},{"key":"18_CR15","unstructured":"Lowe, G.: Representing nondeterministic and probabilistic behaviour in reactive processes. Technical Report PRG-TR-11-93. Oxford Univ. Comp. Labs (1993)"},{"issue":"4","key":"18_CR16","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1137\/S0097539704446487","volume":"37","author":"N. Lynch","year":"2007","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Observing branching structure through probabilistic contexts. SIAM Journal on Computing\u00a037(4), 977\u20131013 (2007)","journal-title":"SIAM Journal on Computing"},{"key":"18_CR17","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1982)"},{"issue":"6","key":"18_CR18","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/BF01213492","volume":"8","author":"C. Morgan","year":"1996","unstructured":"Morgan, C., McIver, A., Seidel, K., Sanders, J.W.: Refinement-oriented probability for CSP. Formal Aspects of Computing\u00a08(6), 617\u2013647 (1996)","journal-title":"Formal Aspects of Computing"},{"key":"18_CR19","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"18_CR20","unstructured":"Segala, R.: Modeling and verification of randomized distributed real-time systems. PhD thesis, MIT (1995)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15784-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T18:59:55Z","timestamp":1559674795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15784-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642157837","9783642157844"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15784-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}