{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:07:59Z","timestamp":1742958479393,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540698135"},{"type":"electronic","value":"9783540698142"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69814-2_4","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:39:36Z","timestamp":1217486376000},"page":"29-43","source":"Crossref","is-referenced-by-count":4,"title":["Extracting Response Times from Fluid Analysis of Performance Models"],"prefix":"10.1007","author":[{"given":"Jeremy T.","family":"Bradley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Hayden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William J.","family":"Knottenbelt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamas","family":"Suto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Bradley, J.T., Dingle, N.J., Gilmore, S.T., Knottenbelt, W.J.: Extracting passage times from PEPA models with the HYDRA tool: a case study. In: Jarvis, S.A. (ed.) UKPEW 2003, Proceedings of 19th Annual UK Performance Engineering Workshop, University of Warwick, pp. 79\u201390 (July 2003)"},{"key":"4_CR2","first-page":"33","volume-title":"QEST 2005, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems, Torino","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: QEST 2005, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems, Torino, pp. 33\u201342. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Distinguished Dissertations in Computer Science, vol. 12. CUP (1996)","DOI":"10.1017\/CBO9780511569951"},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1093\/comjnl\/44.4.230","volume":"44","author":"H. Bowman","year":"2001","unstructured":"Bowman, H., Bryans, J.W., Derrick, J.: Analysis of a multimedia stream using stochastic process algebras. The Computer Journal\u00a044(4), 230\u2013245 (2001)","journal-title":"The Computer Journal"},{"issue":"2\u20133","key":"4_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0166-5316(02)00101-3","volume":"50","author":"J.M. Fourneau","year":"2002","unstructured":"Fourneau, J.M., Kloul, L., Valois, F.: Performance modelling of hierarchical cellular networks using PEPA. Performance Evaluation\u00a050(2\u20133), 83\u201399 (2002)","journal-title":"Performance Evaluation"},{"issue":"5","key":"4_CR6","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1049\/ip-sen:20041091","volume":"151","author":"N. Thomas","year":"2004","unstructured":"Thomas, N., Bradley, J.T., Knottenbelt, W.J.: Stochastic analysis of scheduling strategies in a GRID-based resource model. IEE Software Engineering\u00a0151(5), 232\u2013239 (2004)","journal-title":"IEE Software Engineering"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Holton, D.R.W.: A PEPA specification of an industrial production cell. In: Gilmore, S., Hillston, J. (eds.) Process Algebra and Performance Modelling Workshop, Edinburgh, June 1995. The Computer Journal, vol.\u00a038(7), pp. 542\u2013551. CEPIS (1995)","DOI":"10.1093\/comjnl\/38.7.542"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Bradley, J.T., Dingle, N.J., Gilmore, S.T., Knottenbelt, W.J.: Derivation of passage-time densities in PEPA models using ipc: the Imperial PEPA Compiler. In: Kotsis, G. (ed.) MASCOTS 2003, Proceedings of the 11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, University of Central Florida, pp. 344\u2013351. IEEE Computer Society Press, Los Alamitos (2003)","DOI":"10.1109\/MASCOT.2003.1240679"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Bradley, J.T., Gilmore, S.T., Hillston, J.: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. Journal of Computer and System Sciences (in press, 2007)","DOI":"10.1016\/j.jcss.2007.07.005"},{"key":"4_CR10","unstructured":"Hayden, R.: Addressing the state space explosion problem for PEPA models through fluid-flow approximation. Technical report, Ugrad. project report, Imperial College London (2007)"},{"issue":"5","key":"4_CR11","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"},{"issue":"8","key":"4_CR12","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1016\/j.jpdc.2004.03.017","volume":"64","author":"N.J. Dingle","year":"2004","unstructured":"Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models. Journal of Parallel and Distributed Computing\u00a064(8), 908\u2013920 (2004)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"4_CR13","unstructured":"Thomas, N., Bradley, J.T.: Terminating processes in PEPA. In: Djemame, K., Kara, M. (eds.) UKPEW 2001, Proceedings of 17th Annual UK Performance Evaluation Workshop, Leeds, July 2001, pp. 143\u2013154 (2001)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/QEST.2007.41","volume-title":"QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems","author":"T. Suto","year":"2007","unstructured":"Suto, T., Bradley, J.T., Knottenbelt, W.J.: Performance Trees: Expressiveness and quantitative semantics. In: QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems, pp. 41\u201350. IEEE, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Performance Evaluation: Metrics, Models and Benchmarks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69814-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T07:33:28Z","timestamp":1738308808000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69814-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540698135","9783540698142"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69814-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}