{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:52:24Z","timestamp":1725519144404},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367809"},{"type":"electronic","value":"9783642367816"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36781-6_9","type":"book-chapter","created":{"date-parts":[[2013,2,7]],"date-time":"2013-02-07T00:08:21Z","timestamp":1360195701000},"page":"127-139","source":"Crossref","is-referenced-by-count":0,"title":["Formal Performance Modelling: From Protocols to People"],"prefix":"10.1007","author":[{"given":"Nigel","family":"Thomas","sequence":"first","affiliation":[]},{"given":"Michael","family":"Harrison","sequence":"additional","affiliation":[]},{"given":"Yishi","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Xiao","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-44667-2_8","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"J. Hillston","year":"2001","unstructured":"Hillston, J.: Exploiting Structure in Solution: Decomposing Compositional Models. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 278\u2013314. Springer, Heidelberg (2001)"},{"issue":"3-4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0166-5316(99)00005-X","volume":"35","author":"J. Hillston","year":"1999","unstructured":"Hillston, J., Thomas, N.: Product form solution for a class of PEPA models. Performance Evaluation\u00a035(3-4), 171\u2013192 (1999)","journal-title":"Performance Evaluation"},{"key":"9_CR4","unstructured":"Hillston, J., Thomas, N.: A syntactic analysis of reversible PEPA processes. In: Proceedings of the 6th International Workshop on Process Algebra and Performance Modelling, Nice (1998)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"1947","DOI":"10.1016\/S0304-3975(02)00375-4","volume":"290","author":"P.G. Harrison","year":"2003","unstructured":"Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science\u00a0290, 1947\u20131986 (2003)","journal-title":"Theoretical Computer Science"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-02742-0_16","volume-title":"Network Performance Engineering","author":"P.G. Harrison","year":"2011","unstructured":"Harrison, P.G., Thomas, N.: Product-Form Solution in PEPA via the Reversed Process. In: Kouvatsos, D.D. (ed.) Next Generation Internet. LNCS, vol.\u00a05233, pp. 343\u2013356. Springer, Heidelberg (2011)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33\u201343. IEEE Computer Society (2005)","DOI":"10.1109\/QEST.2005.12"},{"issue":"22-24","key":"9_CR8","doi-asserted-by":"publisher","first-page":"2260","DOI":"10.1016\/j.tcs.2010.02.001","volume":"411","author":"R. Hayden","year":"2010","unstructured":"Hayden, R., Bradley, J.: A fluid analysis framework for a Markovian process algebra. Theoretical Computer Science\u00a0411(22-24), 2260\u20132297 (2010)","journal-title":"Theoretical Computer Science"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-69814-2_5","volume-title":"Performance Evaluation: Metrics, Models and Benchmarks","author":"Y. Zhao","year":"2008","unstructured":"Zhao, Y., Thomas, N.: Approximate Solution of a PEPA Model of a Key Distribution Centre. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol.\u00a05119, pp. 44\u201357. Springer, Heidelberg (2008)"},{"key":"9_CR10","unstructured":"Thomas, N., Zhao, Y.: Fluid flow analysis of a model of a secure key distribution centre. In: Proceedings of the 24th UK Performance Engineering Workshop. Imperial College, London (2008)"},{"issue":"8","key":"9_CR11","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1016\/j.peva.2009.07.005","volume":"67","author":"Y. Zhao","year":"2010","unstructured":"Zhao, Y., Thomas, N.: Efficient solution of a PEPA model of a key distribution centre. Performance Evaluation\u00a067(8), 740\u2013756 (2010)","journal-title":"Performance Evaluation"},{"key":"9_CR12","unstructured":"Thomas, N., Bradley, J.: Terminating processes in PEPA. In: Proceeding of the 17th UK Performance Engineering Workshop, University of Leeds (2001)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-87412-6_2","volume-title":"Computer Performance Engineering","author":"A. Clark","year":"2008","unstructured":"Clark, A., Duguid, A., Gilmore, S., Tribastone, M.: Partial Evaluation of PEPA Models for Fluid-Flow Analysis. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol.\u00a05261, pp. 2\u201316. Springer, Heidelberg (2008)"},{"key":"9_CR14","unstructured":"Zhou, J., Gollmann, D.: A Fair Non-repudiation Protocol. In: Proceedings of IEEE Symposium on Security and Privacy (SP 1996). IEEE Computer Society (1996)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0034842","volume-title":"Advances in Cryptology - ASIACRYPT \u201996","author":"J. Zhou","year":"1996","unstructured":"Zhou, J., Gollmann, D.: Observation on Non-repudiation. In: Kim, K.-C., Matsumoto, T. (eds.) ASIACRYPT 1996. LNCS, vol.\u00a01163, pp. 133\u2013144. Springer, Heidelberg (1996)"},{"key":"9_CR16","unstructured":"Thomas, N.: Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks. In: 8th Worshop on Process Algebra and Stochastically Timed Activities, University of Edinburgh (2009)"},{"issue":"5","key":"9_CR17","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1093\/comjnl\/bxq064","volume":"54","author":"N. Thomas","year":"2011","unstructured":"Thomas, N., Zhao, Y.: Mean value analysis for a class of PEPA models. The Computer Journal\u00a054(5), 643\u2013652 (2011)","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36781-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T23:09:59Z","timestamp":1557529799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36781-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367809","9783642367816"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36781-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}