{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:55:43Z","timestamp":1743054943803,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30233-9_10","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T12:06:08Z","timestamp":1287921968000},"page":"128-142","source":"Crossref","is-referenced-by-count":0,"title":["How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results"],"prefix":"10.1007","author":[{"given":"Jeremy T.","family":"Bradley","sequence":"first","affiliation":[]},{"given":"Stephen T.","family":"Gilmore","sequence":"additional","affiliation":[]},{"given":"Nigel","family":"Thomas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Distinguished Dissertations in Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Distinguished Dissertations in Computer Science, vol.\u00a012. Cambridge University Press, Cambridge (1996)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-61604-7_63","volume-title":"CONCUR \u201996: Concurrency Theory","author":"M. Bernardo","year":"1996","unstructured":"Bernardo, M., Gorrieri, R.: Extended Markovian Process Algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 315\u2013330. Springer, Heidelberg (1996)"},{"key":"10_CR3","unstructured":"Hermanns, H.: Interactive Markov Chains. PhD thesis, Univ. Erlangen-N\u00fcrnberg (1998)"},{"key":"10_CR4","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":"10_CR5","unstructured":"Clark, G., Gilmore, S., Hillston, J., Thomas, N.: Experiences with the PEPA performance modelling tools. In: UKPEW 1998, Proceedings of the 14th UK Performance Engineering Workshop (1998)"},{"key":"10_CR6","volume-title":"Proc. of the 13th IEEE Symp. on Logic in Computer Science","author":"L. Alfaro de","year":"1998","unstructured":"de Alfaro, L.: How to specify and verify the long-run average behaviour of probabilistic systems. In: Proc. of the 13th IEEE Symp. on Logic in Computer Science, IEEE, Los Alamitos (1998)"},{"key":"10_CR7","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, 230\u2013245 (2001)","journal-title":"The Computer Journal"},{"key":"10_CR8","unstructured":"El-Rayes, A., Kwiatkowska, M., Norman, G.: Solving infinite stochastic process algebra models through matrix-geometric methods. In: [24], pp. 41\u201362."},{"key":"10_CR9","unstructured":"Wan, F.: Interface engineering and transient analysis for the PEPA Workbench. Master\u2019s thesis, School of Computer Science, The University of Edinburgh (2000)"},{"key":"10_CR10","unstructured":"Hermanns, H., Herzog, U., Hillston, J.: Stochastic process algebras\u2014A formal approach to performance modelling. Tutorial, Dept. of Computer Science, Univ. of Edinburgh (1996)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-44804-7_13","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"G. Clark","year":"2001","unstructured":"Clark, G., Sanders, W.: Implementing a stochastic process algebra within the M\u00f6bius modeling framework. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 200\u2013215. Springer, Heidelberg (2001)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-46002-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 52\u201366. Springer, Heidelberg (2002)"},{"key":"10_CR13","first-page":"344","volume-title":"MASCOTS 2003, Proceedings of the 11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems","author":"J.T. Bradley","year":"2003","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)"},{"key":"10_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"10_CR15","unstructured":"Hillston, J.: The nature of synchronisation. In: Herzog, U., Rettelbach, M. (eds.) Proc. of the 2nd Int. Workshop on Process Algebras and Performance Modelling, Erlangen, pp. 51\u201370 (1994)"},{"key":"10_CR16","unstructured":"Bradley, J.T., Davies, N.J.: Reliable performance modelling with approximate synchronisations. In: [24], pp. 99\u2013118."},{"key":"10_CR17","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: TIPP\u2014Introduction and application to protocol performance analysis. In: K\u00f6nig, H. (ed.) Formale Beschreibungstechniken f\u00fcr verteilte Systeme. FOKUS, Saur-Verlag (1993)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Priami, C.: A stochastic \u03c0-calculus. In: Gilmore, S., Hillston, J. (eds.) Process Algebra and Performance Modelling Workshop. Special Issue: The Computer Journal, CEPIS, vol.\u00a038(7), pp. 578\u2013589 (1995)","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"10_CR19","first-page":"49","volume-title":"WOSP 2004, Proceedings of the 4th International Workshop on Software and Performance","author":"A. Argent-Katwala","year":"2004","unstructured":"Argent-Katwala, A., Bradley, J.T., Dingle, N.J.: Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. In: Almeida, V., Lea, D. (eds.) WOSP 2004, Proceedings of the 4th International Workshop on Software and Performance, Redwood City, California, pp. 49\u201358. ACM, New York (2004)"},{"key":"10_CR20","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, pp. 79\u201390 (2003)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Harrison, P.G., Knottenbelt, W.J.: Passage-time distributions in large Markov chains. In: Martonosi, M., e Silva, E.d.S. (eds.) Proc. of ACM SIGMETRICS 2000, pp. 77\u201385 (2002)","DOI":"10.1145\/511399.511345"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Response time densities in Generalised Stochastic Petri Net models. In: Proceedings of the 3rd International Workshop on Software and Performance (WOSP 2002), Rome, pp. 46\u201354 (2002)","DOI":"10.1145\/584374.584377"},{"key":"10_CR23","unstructured":"Dingle, N.J., Knottenbelt, W.J., Harrison, P.G.: HYDRA: HYpergraph-based Distributed Response-time Analyser. In: Arabnia, H.R., Man, Y. (eds.) PDPTA 2003, Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, NV, vol.\u00a01, pp. 215\u2013219 (2003)"},{"key":"10_CR24","unstructured":"Hillston, J., Silva, M. (eds.): PAPM\u201999, Proceedings of the 7th International Workshop on Process Algebra and Performance Modelling. In: Hillston, J., Silva, M., eds.: Process Algebra and Performance Modelling Workshop, Centro Polit\u00e9cnico Superior de la Universidad de Zaragoza, Prensas Universitarias de Zaragoza (1999)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:07:22Z","timestamp":1558292842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}