{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:21:53Z","timestamp":1749334913782},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540786627"},{"type":"electronic","value":"9783540786634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78663-4_15","type":"book-chapter","created":{"date-parts":[[2008,3,8]],"date-time":"2008-03-08T01:00:01Z","timestamp":1204938001000},"page":"204-221","source":"Crossref","is-referenced-by-count":12,"title":["Replicating Web Services for Scalability"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Guidi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","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.: Sock: A calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_5","volume-title":"Coordination Models and Languages","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, Springer, Heidelberg (2006)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a Java Orchestration Language Interpreter Engine. In: Proceedings of CoOrd 2006, ENTCS (2006)","DOI":"10.1016\/j.entcs.2007.01.051"},{"key":"15_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"15_CR5","first-page":"33","volume-title":"Proceedings of the Second International Conference on the Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, pp. 33\u201343. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"7","key":"15_CR6","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/38.7.542","volume":"38","author":"D. Holton","year":"1995","unstructured":"Holton, D.: A PEPA specification of an industrial production cell. The Computer Journal\u00a038(7), 542\u2013551 (1995)","journal-title":"The Computer Journal"},{"issue":"2\u20133","key":"15_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0166-5316(02)00101-3","volume":"50","author":"J. Forneau","year":"2002","unstructured":"Forneau, J., Kloul, L., Valois, F.: Performance modelling of hierarchical cellular networks using PEPA. Performance Evaluation\u00a050(2\u20133), 83\u201399 (2002)","journal-title":"Performance Evaluation"},{"key":"15_CR8","volume-title":"Proceedings of CCGrid workshop on Grid Performability (CCGrid Performability 2005)","author":"A. Benoit","year":"2005","unstructured":"Benoit, A., Cole, M., Gilmore, S., Hillston, J.: Enhancing the effective utilisation of Grid clusters by exploiting on-line performability analysis. In: Proceedings of CCGrid workshop on Grid Performability (CCGrid Performability 2005), Cardiff, Wales, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11867340_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. Duguid","year":"2006","unstructured":"Duguid, A.: Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 156\u2013170. Springer, Heidelberg (2006)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Bradley, J., Gilmore, S., Hillston, J.: Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. System Sci. (to appear, 2007), doi:10.1016\/j.jcss.2007.07.005","DOI":"10.1016\/j.jcss.2007.07.005"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11841197_14","volume-title":"Web Services and Formal Methods","author":"S. Gilmore","year":"2006","unstructured":"Gilmore, S., 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. 156\u2013170. Springer, Heidelberg (2006)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/3-540-44804-7_8","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"J. Hillston","year":"2001","unstructured":"Hillston, J., Kloul, L.: An efficient Kronecker representation for PEPA models. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 120\u2013135. Springer, Heidelberg (2001)"},{"issue":"5","key":"15_CR13","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/32.922715","volume":"27","author":"S. Gilmore","year":"2001","unstructured":"Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering\u00a027(5), 449\u2013464 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/QEST.2007.49","volume-title":"Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems (QEST 2007)","author":"M. Tribastone","year":"2007","unstructured":"Tribastone, M.: The PEPA Plug-in Project. In: Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp. 53\u201354. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"15_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511615542","volume-title":"Solving ODEs with Matlab","author":"L.F. Shampine","year":"2003","unstructured":"Shampine, L.F., Gladwell, I., Thompson, S.: Solving ODEs with Matlab. Cambridge University Press, Cambridge (2003)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78663-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:17:46Z","timestamp":1619507866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78663-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540786627","9783540786634"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78663-4_15","relation":{},"subject":[]}}