{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:27:36Z","timestamp":1726406856127},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540353621"},{"type":"electronic","value":"9783540353652"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11777830_2","type":"book-chapter","created":{"date-parts":[[2006,6,19]],"date-time":"2006-06-19T15:21:04Z","timestamp":1150730464000},"page":"16-30","source":"Crossref","is-referenced-by-count":0,"title":["A Function-Equivalent Components Based Simplification Technique for PEPA Models"],"prefix":"10.1007","author":[{"given":"Jane","family":"Hillston","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Le\u00efla","family":"Kloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","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)"},{"key":"2_CR2","unstructured":"Hillston, J., Kloul, L.: Formal Techniques for Performance Analysis: blending SAN and PEPA (submitted)"},{"key":"2_CR3","unstructured":"Hillston, J.: A compositional approach to performance modelling, PhD. The University of Edinburgh (1994)"},{"key":"2_CR4","unstructured":"Hillston, J.: The Nature of Synchronisation. In: Herzog, U., Rettelbach, M. (eds.) Proc. of 2nd Process Algebra and Performance Modelling Workshop (1994)"},{"issue":"3","key":"2_CR5","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1051\/ro\/1998320303251","volume":"32","author":"P. Fernandes","year":"1998","unstructured":"Fernandes, P., Plateau, B., Stewart, W.J.: Optimizing Tensor Product Computations in Stochastic Automata Networks. RAIRO - Operations Research\u00a032(3), 325\u2013351 (1998)","journal-title":"RAIRO - Operations Research"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Ponse, A.: Proof Theory for \u03bcCRL: A Languages for Processes with Data. In: Semantics of Specification Languages 1993, pp. 232\u2013251 (1993)","DOI":"10.1007\/978-1-4471-3229-5_13"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Ponse, A.: The Syntax and Semantics of \u03bcCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (eds.) Algebra of Communicating Processes, Workshops in Computing, pp. 26\u201362 (1994)","DOI":"10.1007\/978-1-4471-2120-6_2"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Computer Performance Evaluation","author":"S. Gilmore","year":"1994","unstructured":"Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol.\u00a0794, pp. 353\u2013368. Springer, Heidelberg (1994)"},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-642-78495-8_3","volume-title":"Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen","author":"K.S. Trivedi","year":"1993","unstructured":"Trivedi, K.S., Malhotra, M.: Reliability and Performability Techniques and Tools: A Survey. In: Walke, B., Spaniol, O. (eds.) Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, pp. 27\u201348. Springer, Aachen (1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Stochastic Models for Performance Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11777830_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:40Z","timestamp":1619507740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11777830_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540353621","9783540353652"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11777830_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}