{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:07Z","timestamp":1762458847613,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_20","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T12:06:08Z","timestamp":1287921968000},"page":"262-277","source":"Crossref","is-referenced-by-count":1,"title":["PEPA Nets in Practice: Modelling a\u00a0Decentralised Peer-to-Peer Emergency Medical Application"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Gilmore","sequence":"first","affiliation":[]},{"given":"Valentin","family":"Haenel","sequence":"additional","affiliation":[]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[]},{"given":"Le\u00efla","family":"Kloul","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-39878-3_17","volume-title":"Computer Safety, Reliability, and Security","author":"J. Gorman","year":"2003","unstructured":"Gorman, J., Walderhaug, S., Kv\u00e5len, H.: Reliable data replication in a wireless medical emergency network. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 207\u2013220. Springer, Heidelberg (2003)"},{"issue":"2","key":"20_CR2","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0166-5316(03)00069-5","volume":"54","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Hillston, J., Ribaudo, M., Kloul, L.: PEPA nets: A structured performance modelling formalism. Performance Evaluation\u00a054(2), 79\u2013104 (2003)","journal-title":"Performance Evaluation"},{"key":"20_CR3","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":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 169\u2013276. Springer, Heidelberg (1996)"},{"key":"20_CR5","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. Cambridge University Press, Cambridge (1996)"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/974044.974047","volume-title":"Proceedings of the Fourth International Workshop on Software and Performance","author":"S. Gilmore","year":"2004","unstructured":"Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: Software performance modelling using PEPA nets. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA, January 2004, pp. 13\u201324. ACM Press, New York (2004)"},{"key":"20_CR7","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":"20_CR8","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.H.: 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":"20_CR9","first-page":"344","volume-title":"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.) Proceedings of the 11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, University of Central Florida, October 2003, pp. 344\u2013351. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"20_CR10","unstructured":"Somenzi, F.: CUDD: CU Decision Diagram Package. Department of Electrical and Computer Engineering, University of Colorado at Boulder (February 2001)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Semantics of Systems of Concurrent Processes","author":"R.D. Nicola","year":"1990","unstructured":"Nicola, R.D., Vaandrager, F.W.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol.\u00a0469, pp. 407\u2013419. Springer, Heidelberg (1990)"},{"key":"20_CR12","unstructured":"Knottenbelt, W.J.: Generalised Markovian analysis of timed transition systems. Master\u2019s thesis, University of Cape Town (1996)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T17:05:10Z","timestamp":1553187910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}