{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:31:15Z","timestamp":1759336275161},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319448770"},{"type":"electronic","value":"9783319448787"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-44878-7_4","type":"book-chapter","created":{"date-parts":[[2016,8,16]],"date-time":"2016-08-16T15:20:46Z","timestamp":1471360846000},"page":"53-68","source":"Crossref","is-referenced-by-count":10,"title":["Input\/Output Stochastic Automata"],"prefix":"10.1007","author":[{"given":"Pedro R.","family":"D\u2019Argenio","sequence":"first","affiliation":[]},{"given":"Matias David","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Ra\u00fal E.","family":"Monti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,17]]},"reference":[{"key":"4_CR1","volume-title":"Probability and Measure Theory","author":"R Ash","year":"2000","unstructured":"Ash, R., Dol\u00e9ans-Dade, C.: Probability and Measure Theory. Academic Press, Cambridge (2000)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-3-642-21461-5_4","volume-title":"Formal Techniques for Distributed Systems","author":"J Bogdoll","year":"2011","unstructured":"Bogdoll, J., Ferrer Fioriti, L.M., Hartmanns, A., Hermanns, H.: Partial order methods for statistical model checking and simulation. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol. 6722, pp. 59\u201374. Springer, Heidelberg (2011)"},{"issue":"10","key":"4_CR3","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"HC Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H.C., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.: MODEST: a compositional modeling formalism for hard and softly timed systems. IEEE Trans. Softw. Eng. 32(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-24611-4_2","volume-title":"Validation of Stochastic Systems","author":"M Bravetti","year":"2004","unstructured":"Bravetti, M., D\u2019Argenio, P.R.: Tutte le algebre insieme: concepts, discussions and relations of stochastic process algebras with general distributions. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol. 2925, pp. 44\u201388. Springer, Heidelberg (2004)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/978-3-319-23267-6_18","volume-title":"Computer Performance Engineering","author":"CE Budde","year":"2015","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hermanns, H.: Rare event simulation with fully automated importance splitting. In: Beltr\u00e1n, M., Knottenbelt, W.J., Bradley, J.T. (eds.) Computer Performance Engineering. LNCS, vol. 9272, pp. 275\u2013290. Springer International Publishing, Switzerland (2015)"},{"key":"4_CR6","unstructured":"Crouzen, P.: Modularity and Determinism in Compositional Markov Models. Ph.D. thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken (2014)"},{"key":"4_CR7","unstructured":"D\u2019Argenio, P.R.: Algebras and Automata for Timed and Stochastic Systems. Ph.D. thesis, University of Twente, Enschede (1999)"},{"issue":"1","key":"4_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ic.2005.07.001","volume":"203","author":"PR D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P.R., Katoen, J.P.: A theory of stochastic systems part I: stochastic automata. Inf. Comput. 203(1), 1\u201338 (2005)","journal-title":"Inf. Comput."},{"issue":"4","key":"4_CR9","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s10009-015-0383-0","volume":"17","author":"PR D\u2019Argenio","year":"2015","unstructured":"D\u2019Argenio, P.R., Legay, A., Sedwards, S., Traonouez, L.: Smart sampling for lightweight verification of Markov decision processes. STTT 17(4), 469\u2013484 (2015)","journal-title":"STTT"},{"issue":"1","key":"4_CR10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1017\/S0960129511000454","volume":"22","author":"PR D\u2019Argenio","year":"2012","unstructured":"D\u2019Argenio, P.R., S\u00e1nchez Terraf, P., Wolovick, N.: Bisimulations for non-deterministic labelled Markov processes. Math. Struct. Comput. Sci. 22(1), 43\u201368 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"4_CR11","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1006\/inco.2001.2962","volume":"179","author":"J Desharnais","year":"2002","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. Inf. Comput. 179(2), 163\u2013193 (2002)","journal-title":"Inf. Comput."},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Doberkat, E.E., S\u00e1nchez Terraf, P.: Stochastic non-determinism and effectivity functions. J. Logic Comput. (2015, to appear). doi: 10.1093\/logcom\/exv049","DOI":"10.1093\/logcom\/exv049"},{"key":"4_CR13","unstructured":"Gburek, D., Baier, C., Kl\u00fcppelholz, S.: Composition of stochastic transition systems based on spans and couplings. In: ICALP 2016. LIPICS (2016, to appear)"},{"key":"4_CR14","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BFb0092872","volume-title":"Categorical Aspects of Topology and Analysis","author":"M Giry","year":"1982","unstructured":"Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol. 915, pp. 68\u201385. Springer, Heidelberg (1982)"},{"issue":"1","key":"4_CR15","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"RJ Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Smolka, S.A., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Inf. Comput. 121(1), 59\u201380 (1995)","journal-title":"Inf. Comput."},{"issue":"4","key":"4_CR16","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/s10009-014-0349-7","volume":"17","author":"A Hartmanns","year":"2015","unstructured":"Hartmanns, A., Timmer, M.: Sound statistical model checking for MDP using partial order and confluence reduction. STTT 17(4), 429\u2013456 (2015)","journal-title":"STTT"},{"key":"4_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains: and the Quest for Quantified Quality","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains: and the Quest for Quantified Quality. Springer, Heidelberg (2002)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"4_CR19","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Upper Saddle River (1989)"},{"key":"4_CR20","unstructured":"Viglizzo, I.: Coalgebras on Measurable Spaces. Ph.D. thesis, Indiana University, Argentina (2005)"},{"key":"4_CR21","unstructured":"Wolovick, N.: Continuous Probability and Nondeterminism in Labeled Transition Systems. Ph.D. thesis, Universidad Nacional de C\u00f3rdoba, Argentina (2012)"},{"issue":"1\u20132","key":"4_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S Wu","year":"1997","unstructured":"Wu, S., Smolka, S.A., Stark, E.W.: Composition and behaviors of probabilistic I\/O automata. Theor. Comput. Sci. 176(1\u20132), 1\u201338 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","first-page":"502","volume-title":"CONCUR \u201990 Theories of Concurrency: Unification and Extension","author":"W Yi","year":"1990","unstructured":"Yi, W.: Real-time behaviour of asynchronous agents. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR \u201990 Theories of Concurrency: Unification and Extension. LNCS, vol. 458, pp. 502\u2013520. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44878-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:48:52Z","timestamp":1498337332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44878-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319448770","9783319448787"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44878-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}