{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:40Z","timestamp":1761597040294},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425564"},{"type":"electronic","value":"9783540448044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44804-7_11","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T18:22:41Z","timestamp":1184955761000},"page":"168-183","source":"Crossref","is-referenced-by-count":2,"title":["Expressing Processes with Different Action Durations through Probabilities"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Aldini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"11_CR1","unstructured":"A. Aldini, M. Bravetti, \u201cAn Asynchronous Calculus for Generative-Reactive Probabilistic Systems\u201d, in Proc. of 8th Int. Workshop on Process Algebra and Performance Modeling, pp. 591\u2013605, 2000"},{"key":"11_CR2","series-title":"Tech. Rep.","volume-title":"An Asynchronous Calculus for Generative-Reactive Probabilistic Systems","author":"M. Bravetti","year":"2000","unstructured":"M. Bravetti, A. Aldini, \u201cAn Asynchronous Calculus for Generative-Reactive Probabilistic Systems\u201d, Tech. Rep. UBLCS-2000-03, Univ. Bologna, Italy, 2000"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"121","author":"J.C.M. Baeten","year":"1995","unstructured":"J.C.M. Baeten, J.A. Bergstra, S.A. Smolka, \u201cAxiomatizing Probabilistic Processes: ACP with Generative Probabilities\u201d, in Inf. and Comp. 121:234\u2013255, 1995","journal-title":"Inf. and Comp."},{"key":"11_CR4","volume-title":"Theory and Application of Extended Markovian Process Algebra","author":"M. Bernardo","year":"1999","unstructured":"M. Bernardo, \u201cTheory and Application of Extended Markovian Process Algebra\u201d, Ph. D. Thesis, Univ. Bologna, Italy, 1999"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek van","year":"1995","unstructured":"R.J. van Glabbeek, S.A. Smolka, B. Steffen, \u201cReactive, Generative and Stratified Models of Probabilistic Processes\u201d, in Inf. and Comp. 121:59\u201380, 1995","journal-title":"Inf. and Comp."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, \u201cCommunicating Sequential Processes\u201d, Prentice Hall, 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BFb0039071","volume-title":"Proc. of 1st Int. Conf. on Concurrency Theory","author":"C.-C. Jou","year":"1990","unstructured":"C.-C. Jou, S.A. Smolka, \u201cEquivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes\u201d, in Proc. of 1st Int. Conf. on Concurrency Theory, LNCS 458:367\u2013383, 1990"},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1007\/BFb0084809","volume-title":"Proc. of 3rd Int. Conf. on Concurrency Theory","author":"K.G. Larsen","year":"1992","unstructured":"K.G. Larsen, A. Skou, \u201cCompositional Verification of Probabilistic Processes\u201d, in Proc. of 3rd Int. Conf. on Concurrency Theory, LNCS 630:456\u2013471, 1992"},{"key":"11_CR9","volume-title":"Modeling and Verification of Randomized Distributed Real-Time Systems","author":"R. Segala","year":"1995","unstructured":"R. Segala, \u201cModeling and Verification of Randomized Distributed Real-Time Systems\u201d, Ph. D. Thesis, MIT, Boston (MA), 1995"},{"key":"11_CR10","unstructured":"A. S. Tanenbaum, \u201cComputer Networks\u201d, Prentice Hall, 1996"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/BF01211867","volume":"6","author":"C. Tofts","year":"1994","unstructured":"C. Tofts, \u201cProcesses with Probabilities, Priority and Time\u201d, in Formal Aspects of Computing 6:536\u2013564, 1994","journal-title":"Formal Aspects of Computing"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S. H. Wu","year":"1997","unstructured":"S. H. Wu, S.A. Smolka, E.W. Stark, \u201cComposition and Behaviors of Probabilistic I\/O Automata\u201d, in Theoretical Computer Science 176:1\u201338, 1997","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Process Algebra and Probabilistic Methods. Performance Modelling and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44804-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T13:48:51Z","timestamp":1683985731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44804-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425564","9783540448044"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44804-7_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}