{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:13:45Z","timestamp":1743005625336,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642200083"},{"type":"electronic","value":"9783642200090"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20009-0_27","type":"book-chapter","created":{"date-parts":[[2011,6,25]],"date-time":"2011-06-25T18:32:23Z","timestamp":1309026743000},"page":"169-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Large-Scale Modelling with the PEPA Eclipse Plug-In"],"prefix":"10.1007","author":[{"given":"Mirco","family":"Tribastone","sequence":"first","affiliation":[]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,6,21]]},"reference":[{"key":"27_CR1_27","unstructured":"J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Extracting passage times from PEPA models with the HYDRA tool: A case study. In S. Jarvis, editor, Proceedings of the Nineteenth annual UK Performance Engineering Workshop, pages 79\u201390, University of Warwick, July 2003."},{"key":"27_CR2_27","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/QEST.2007.20","volume-title":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST)","author":"Allan Clark","year":"2007","unstructured":"Allan Clark. The ipclib PEPA Library. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST), pages 55\u201356, Edinburgh, Scotland, UK, 17\u201319 September 2007. IEEE Computer Society."},{"key":"27_CR3_27","doi-asserted-by":"crossref","unstructured":"Allan Clark, Adam Duguid, Stephen Gilmore, and Mirco Tribastone. Partial Evaluation of PEPA Models for Fluid-Flow Analysis. In EPEW, volume 5261 of LNCS, pages 2\u201316, 2008.","DOI":"10.1007\/978-3-540-87412-6_2"},{"key":"27_CR4_27","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation","author":"S. Gilmore","year":"1994","unstructured":"S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353\u2013368, Vienna, May 1994. Springer-Verlag."},{"key":"27_CR5_27","doi-asserted-by":"crossref","unstructured":"J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511569951"},{"key":"27_CR6_27","unstructured":"M. Patterson and J. Spiteri. odeToJava Library. http:\/\/www.netlib.org\/ode\/odeToJava.tgz, 2002."},{"key":"27_CR7_27","doi-asserted-by":"crossref","unstructured":"William J. Stewart. Probability, Markov Chains, Queues, and Simulation. Princeton University Press, 2009.","DOI":"10.1515\/9781400832811"},{"issue":"4","key":"27_CR8_27","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1530873.1530880","volume":"36","author":"M. Tribastone","year":"2009","unstructured":"M. Tribastone, A. Duguid, and S. Gilmore. The PEPA Eclipse Plug-in. Performance Evaluation Review, 36(4): 28\u201333, March 2009.","journal-title":"Performance Evaluation Review"},{"key":"27_CR9_27","unstructured":"M. Tribastone, S. Gilmore, and J. Hillston. Scalable Differential Analysis of Process Algebra Models, 2010. Transactions on Software Engineering, in press."},{"key":"27_CR10_27","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/QEST.2007.34","volume-title":"Fourth International Conference on the Quantitative Evaluation of Systems, pages","author":"Mirco Tribastone","year":"2007","unstructured":"Mirco Tribastone. The PEPA Plug-in Project. In Fourth International Conference on the Quantitative Evaluation of Systems, pages 53\u201354, Edinburgh, United Kingdom, September 2007. IEEE Computer Society Press."},{"key":"27_CR11_27","doi-asserted-by":"crossref","unstructured":"Mirco Tribastone. Scalable Analysis of Stochastic Process Algebra Models. PhD thesis, School of Informatics, The University of Edinburgh, 2010.","DOI":"10.1109\/QEST.2010.45"}],"container-title":["Operations Research Proceedings","Operations Research Proceedings 2010"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20009-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T02:16:02Z","timestamp":1675908962000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-20009-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642200083","9783642200090"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20009-0_27","relation":{},"ISSN":["0721-5924"],"issn-type":[{"type":"print","value":"0721-5924"}],"subject":[],"published":{"date-parts":[[2011]]},"assertion":[{"value":"21 June 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}