{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:32:32Z","timestamp":1743064352396,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642394072"},{"type":"electronic","value":"9783642394089"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-39408-9_29","type":"book-chapter","created":{"date-parts":[[2013,6,12]],"date-time":"2013-06-12T02:45:07Z","timestamp":1371005107000},"page":"416-430","source":"Crossref","is-referenced-by-count":1,"title":["Semi-Product-Form Solution for PEPA Models with Functional Rates"],"prefix":"10.1007","author":[{"given":"Nigel","family":"Thomas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter G.","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0166-5316(02)00110-4","volume":"49","author":"T. Bonald","year":"2002","unstructured":"Bonald, T., Proutiere, A.: Insensitivity in processor-sharing networks. Performance Evaluation\u00a049, 193\u2013209 (2002)","journal-title":"Performance Evaluation"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"152","DOI":"10.2307\/1427516","volume":"23","author":"R. Boucherie","year":"1991","unstructured":"Boucherie, R., van Dijk, N.: Product forms for queueing networks with state-dependent multiple job transitions. Advances in Applied Probability\u00a023, 152\u2013187 (1991)","journal-title":"Advances in Applied Probability"},{"key":"29_CR3","unstructured":"Chao, X., Miyazawa, M., Pinedo, M.: Queueing Networks: Customers, Signals and Product Form Solutions. Wiley (1999)"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0020-0190(03)00343-0","volume":"87","author":"S. Derisavi","year":"2003","unstructured":"Derisavi, S., Hermanns, H., Sanders, W.: Optimal state-space lumping in Markov chains. Information Processing Letters\u00a087, 309\u2013315 (2003)","journal-title":"Information Processing Letters"},{"issue":"3","key":"29_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(3), 1947\u20131986 (2003)","journal-title":"Theoretical Computer Science"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.laa.2004.02.020","volume":"386","author":"P.G. Harrison","year":"2004","unstructured":"Harrison, P.G.: Reversed processes, product-forms and a non-product-form. Linear Algebra and Its Applications\u00a0386, 359\u2013381 (2004)","journal-title":"Linear Algebra and Its Applications"},{"issue":"1","key":"29_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.tcs.2005.08.007","volume":"346","author":"P.G. Harrison","year":"2005","unstructured":"Harrison, P.G., Lee, T.T.: Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theoretical Comp. Sci.\u00a0346(1), 161\u2013182 (2005)","journal-title":"Theoretical Comp. Sci."},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1016\/j.peva.2009.05.003","volume":"66","author":"P.G. Harrison","year":"2009","unstructured":"Harrison, P.G.: Product-forms and functional rates. Performance Evaluation\u00a066, 660\u2013663 (2009)","journal-title":"Performance Evaluation"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Harrison, P.G.: Process algebraic non-product-forms. Electronic Notes in Theoretical Computer Science\u00a0151(3) (2006)","DOI":"10.1016\/j.entcs.2006.03.012"},{"key":"29_CR10","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. (ed.) Next Generation Internet. LNCS, vol.\u00a05233, pp. 343\u2013356. Springer, Heidelberg (2011)"},{"issue":"22","key":"29_CR11","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), 2260\u20132297 (2010)","journal-title":"Theoretical Computer Science"},{"issue":"1\/3","key":"29_CR12","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1023\/A:1011048418603","volume":"37","author":"W. Henderson","year":"2001","unstructured":"Henderson, W., Taylor, P.: State-dependent Coupling of Quasireversible Nodes. Queueing Systems: Theory and Applications\u00a037(1\/3), 163\u2013197 (2001)","journal-title":"Queueing Systems: Theory and Applications"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"29_CR14","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.) FMPA 2000. LNCS, vol.\u00a02090, pp. 278\u2013314. Springer, Heidelberg (2001)"},{"key":"29_CR15","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"},{"key":"29_CR16","unstructured":"Kelly, F.P.: Reversibility and stochastic networks. Wiley (1979)"},{"issue":"2","key":"29_CR17","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1145\/322248.322257","volume":"28","author":"K. Sevcik","year":"1981","unstructured":"Sevcik, K., Mitrani, I.: The distribution of queueing network states at input and output instants. JACM\u00a028(2), 358\u2013371 (1981)","journal-title":"JACM"},{"issue":"2","key":"29_CR18","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322186.322196","volume":"27","author":"D. Towsley","year":"1980","unstructured":"Towsley, D.: Queuing Network Models with State-Dependent Routing. Journal of the ACM\u00a027(2), 323\u2013337 (1980)","journal-title":"Journal of the ACM"},{"key":"29_CR19","unstructured":"Thomas, N.: Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks. In: 8th Workshop on Process Algebra and Stochastically Timed Activities, PASTA (2008)"},{"key":"29_CR20","unstructured":"Thomas, N., Gilmore, S.: Applying quasi-separability to Markovian process algebra. In: Proceedings 6th International Workshop on Process Algebra and Performance Modelling (1998)"},{"key":"29_CR21","doi-asserted-by":"crossref","unstructured":"Thomas, N., Bradley, J., Thornley, D.: Approximate solution of PEPA models using component substitution. In: IEE Proceedings - Computers and Digital Techniques, vol.\u00a0150(2), pp. 67\u201374 (2003)","DOI":"10.1049\/ip-cdt:20030282"},{"key":"29_CR22","unstructured":"Thomas, N., Zhao, Y.: Fluid flow analysis of a model of a secure key distribution centre. In: Proceedings of the 24th Annual UK Performance Engineering Workshop, Imperial College London (2008)"},{"issue":"5","key":"29_CR23","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"},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"Tribastone, M.: Approximate Mean Value Analysis of Process Algebra Models. In: Proceedings of MASCOTS, pp. 369\u2013378 (2011)","DOI":"10.1109\/MASCOTS.2011.28"},{"key":"29_CR25","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Thomas, N.: Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols. In: Proceedings of 15th International Conference on Parallel and Distributed Systems, pp. 821\u2013827 (2009)","DOI":"10.1109\/ICPADS.2009.90"},{"issue":"8","key":"29_CR26","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 solutions of a PEPA model of a key distribution centre. Performance Evaluation\u00a067(8), 740\u2013756 (2010)","journal-title":"Performance Evaluation"},{"key":"29_CR27","unstructured":"Zhou, J., Gollmann, D.: An efficient non-repudiation protocol. In: Proceedings of the l0th Computer Security Foundations Workshop (CSFW 1997). IEEE Computer Society (1997)"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39408-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T17:49:39Z","timestamp":1674496179000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39408-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642394072","9783642394089"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39408-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}