{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:34Z","timestamp":1725490714832},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74974-5_20","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T08:47:31Z","timestamp":1188377251000},"page":"245-256","source":"Crossref","is-referenced-by-count":19,"title":["Stochastic COWS"],"prefix":"10.1007","author":[{"given":"Davide","family":"Prandi","sequence":"first","affiliation":[]},{"given":"Paola","family":"Quaglia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"20_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Model-checking continuous-time markov chains. ACM TOCL\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM TOCL"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005, pp. 209\u2013220 (2005)","DOI":"10.1145\/1040305.1040323"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11841197_8","volume-title":"Web Services and Formal Methods","author":"R. Bruni","year":"2006","unstructured":"Bruni, R., Melgratti, H.C., Tuosto, E.: Translating Orc Features into Petri Nets and the Join Calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 123\u2013137. Springer, Heidelberg (2006)"},{"issue":"2","key":"20_CR4","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/384192.384194","volume":"33","author":"P. Degano","year":"2001","unstructured":"Degano, P., Priami, C.: Enhanced operational semantics. ACM CS\u00a033(2), 135\u2013176 (2001)","journal-title":"ACM CS"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11841197_14","volume-title":"Web Services and Formal Methods","author":"S.T. Gilmore","year":"2006","unstructured":"Gilmore, S.T., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 214\u2013226. Springer, Heidelberg (2006)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, Springer, Heidelberg (2006)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. In: CUP (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Proc. ESOP\u201907","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Calculus for Orchestration of Web Services. In: Proc. ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007) (full version available at), \n                      \n                        http:\/\/rap.dsi.unifi.it\/cows\/"},{"key":"20_CR9","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. In: CUP (1999)"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2007","unstructured":"Misra, J., Cook, W.R.: Computation Orchestration: A Basis for Wide-area Computing. SoSyM\u00a06(1), 83\u2013110 (2007)","journal-title":"SoSyM"},{"key":"20_CR11","unstructured":"PEPA (2007), \n                      \n                        http:\/\/www.dcs.ed.ac.uk\/pepa\/"},{"issue":"2","key":"20_CR12","first-page":"27","volume":"148","author":"F. Pottier","year":"2006","unstructured":"Pottier, F.: An Overview of C\u03b1ml. ENTCS\u00a0148(2), 27\u201352 (2006)","journal-title":"ENTCS"},{"issue":"7","key":"20_CR13","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"20_CR14","unstructured":"PRISM (2007), \n                      \n                        http:\/\/www.cs.bham.ac.uk\/~dxp\/prism\/"},{"issue":"1-2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0304-3975(00)00376-5","volume":"269","author":"P. Quaglia","year":"2001","unstructured":"Quaglia, P.: Explicit substitutions for pi-congruences. TCS\u00a0269(1-2), 83\u2013134 (2001)","journal-title":"TCS"},{"key":"20_CR16","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. In: CUP (2001)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74974-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T07:18:45Z","timestamp":1550906325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74974-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749738","9783540749745"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74974-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}