{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:48:19Z","timestamp":1742928499070,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395180"},{"type":"electronic","value":"9783319395197"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39519-7_8","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T13:18:53Z","timestamp":1464095933000},"page":"121-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Modelling Ambulance Deployment with CarmaCARMA"],"prefix":"10.1007","author":[{"given":"Vashti","family":"Galpin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1111\/j.1937-5956.2012.01362.x","volume":"22","author":"R Alanis","year":"2013","unstructured":"Alanis, R., Ingolfsson, A., Kolfal, B.: A Markov chain model for an EMS system with repositioning. Prod. Oper. Manag. 22, 216\u2013231 (2013)","journal-title":"Prod. Oper. Manag."},{"doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proceedings of SAC, pp. 1840\u20131845 (2015)","key":"8_CR2","DOI":"10.1145\/2695664.2695668"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"16","DOI":"10.4204\/EPTCS.194.2","volume":"194","author":"Luca Bortolussi","year":"2015","unstructured":"Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M., Massink, M.: Carma: collective adaptive resource-sharing markovian agents. In: Proceedings of QAPL 2015. EPTCS, vol. 194, pp. 16\u201331 (2015)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BF01942293","volume":"32","author":"R Church","year":"1974","unstructured":"Church, R., Velle, C.: The maximal covering location problem. Pap. Reg. Sci. Assoc. 32, 101\u2013118 (1974)","journal-title":"Pap. Reg. Sci. Assoc."},{"unstructured":"Ciancia, V., De Nicola, R., Hillston, J., Latella, D., Loreti, M., Massink, M.: CAS-SCEL semantics and implementation. QUANTICOL Deliverable D4.2 (2015)","key":"8_CR5"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1287\/trsc.17.1.48","volume":"17","author":"M Daskin","year":"1983","unstructured":"Daskin, M.: A maximum expected covering location model: formulation, properties and heuristic solution. Transp. Sci. 17, 48\u201370 (1983)","journal-title":"Transp. Sci."},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/2522968.2522973","volume":"46","author":"R De Nicola","year":"2013","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: A uniform definition of stochastic process calculi. ACM Comput. Surv. 46, 5 (2013)","journal-title":"ACM Comput. Surv."},{"key":"8_CR8","first-page":"7:1","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM TAAS 9, 7:1\u20137:29 (2014)","journal-title":"ACM TAAS"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-319-10696-0_22","volume-title":"Quantitative Evaluation of Systems","author":"C Feng","year":"2014","unstructured":"Feng, C., Hillston, J.: PALOMA: a process algebra for located Markovian agents. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 265\u2013280. Springer, Heidelberg (2014)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"1641","DOI":"10.1016\/S0167-8191(01)00103-X","volume":"27","author":"M Gendreau","year":"2001","unstructured":"Gendreau, M., Laporte, G., Semet, F.: A dynamic model and parallel tabu search heuristic for real-time ambulance relocation. Parallel Comput. 27, 1641\u20131653 (2001)","journal-title":"Parallel Comput."},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D Gillespie","year":"1976","unstructured":"Gillespie, D.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comput. Phys. 22, 403\u2013434 (1976)","journal-title":"J. Comput. Phys."},{"key":"8_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling. CUP","author":"J Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. CUP. Cambridge University Press, New York (1996)"},{"unstructured":"Jagtenberg, C.: Personal communication (2016)","key":"8_CR13"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.orhc.2015.01.001","volume":"4","author":"C Jagtenberg","year":"2015","unstructured":"Jagtenberg, C., Bhulai, S., van der Mei, R.: An efficient heuristic for real-time ambulance redeployment. Oper. Res. Health Care 4, 27\u201335 (2015)","journal-title":"Oper. Res. Health Care"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1214\/10-SSY020","volume":"3","author":"M Maxwell","year":"2013","unstructured":"Maxwell, M., Henderson, S., Topaloglu, H.: Tuning approximate dynamic programming policies for ambulance redeployment via direct search. Stoch. Syst. 3, 322\u2013361 (2013)","journal-title":"Stoch. Syst."},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"1363","DOI":"10.1287\/opre.19.6.1363","volume":"19","author":"C Toregas","year":"1971","unstructured":"Toregas, C., Swain, R., ReVelle, C., Bergman, L.: The location of emergency service facilities. Oper. Res. 19, 1363\u20131373 (1971)","journal-title":"Oper. Res."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39519-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:08:12Z","timestamp":1590192492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39519-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395180","9783319395197"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39519-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}