{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T05:44:30Z","timestamp":1770702270782,"version":"3.49.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319273075","type":"print"},{"value":"9783319273082","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-27308-2_38","type":"book-chapter","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T13:29:53Z","timestamp":1450358993000},"page":"466-478","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["RAMSES: Reversibility-Based Agent Modeling and Simulation Environment with Speculation-Support"],"prefix":"10.1007","author":[{"given":"Davide","family":"Cingolani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Pellegrini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Quaglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,18]]},"reference":[{"key":"38_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-45603-1_11","volume-title":"RoboCup 2001: Robot Soccer World Cup V","author":"T Takahashi","year":"2002","unstructured":"Takahashi, T., Tadokoro, S., Ohta, M., Ito, N.: Agent based approach in disaster rescue simulation - from test-bed of multiagent system to practical application. In: Birk, A., Coradeschi, S., Tadokoro, S. (eds.) RoboCup 2001. LNCS (LNAI), vol. 2377, pp. 102\u2013111. Springer, Heidelberg (2002)"},{"issue":"1","key":"38_CR2","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1146\/annurev.soc.28.110601.141117","volume":"28","author":"MW Macy","year":"2002","unstructured":"Macy, M.W., Willer, R.: From factors to actors: computational sociology and agent-based modeling. Ann. Rev. Sociol. 28(1), 143\u2013166 (2002)","journal-title":"Ann. Rev. Sociol."},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Macal, C., North, M.: Tutorial on agent-based modeling and simulation part 2: how to model with agents. In: Proceedings of the 2006 Winter Simulation Conference, WSC, pp. 73\u201383. Society for Computer Simulation (2006)","DOI":"10.1109\/WSC.2006.323040"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Page, S.E.: Agent-based models. In: Durlauf, S.N., Blume, L.E. (eds.) The New Palgrave Dictionary of Economics. Palgrave Macmillan (2008)","DOI":"10.1057\/978-1-349-95121-5_1992-1"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Fujimoto, R.M.: Parallel discrete event simulation. In: Proceedings of the 21st Conference on Winter Simulation, WSC, pp. 19\u201328. ACM Press (1989)","DOI":"10.1145\/76738.76741"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Barnes Jr, P.D., Carothers, C.D., Jefferson, D.R., LaPre, J.M.: Warp speed: executing time warp on 1, 966, 080 cores. In: SIGSIM Principles of Advanced Discrete Simulation, SIGSIM-PADS 2013, Montreal, QC, Canada, 19\u201322 May 2013, pp. 327\u2013336 (2013)","DOI":"10.1145\/2486092.2486134"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Cingolani, D., Pellegrini, A., Quaglia, F.: Transparently mixing undo logs and software reversibility for state recovery in optimistic pdes. In: Proceedings of the 2015 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, SIGSIM-PADS. ACM Press, June 2015","DOI":"10.1145\/2769458.2769482"},{"issue":"6","key":"38_CR8","doi-asserted-by":"publisher","first-page":"1560","DOI":"10.1109\/TPDS.2014.2323967","volume":"26","author":"A Pellegrini","year":"2015","unstructured":"Pellegrini, A., Vitali, R., Quaglia, F.: Autonomic state management for optimistic simulation platforms. IEEE Trans. Parallel Distrib. Syst. 26(6), 1560\u20131569 (2015)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"7","key":"38_CR9","doi-asserted-by":"publisher","first-page":"1325","DOI":"10.1109\/JPROC.2006.876927","volume":"94","author":"D Fox","year":"2006","unstructured":"Fox, D., Ko, J., Konolige, K., Limketkai, B., Schulz, D., Stewart, B.: Distributed multirobot exploration and mapping. Proc. IEEE 94(7), 1325\u20131339 (2006)","journal-title":"Proc. IEEE"},{"key":"38_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/978-3-642-54420-0_49","volume-title":"Euro-Par 2013: Parallel Processing Workshops","author":"A Pellegrini","year":"2014","unstructured":"Pellegrini, A., Quaglia, F.: The ROme OpTimistic simulator: a tutorial. In: Mey, D., et al. (eds.) Euro-Par 2013. LNCS, vol. 8374, pp. 501\u2013512. Springer, Heidelberg (2014)"},{"issue":"7","key":"38_CR11","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1177\/0037549705058073","volume":"81","author":"S Luke","year":"2005","unstructured":"Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K., Balan, G.: Mason: a multiagent simulation environment. Simulation 81(7), 517\u2013527 (2005)","journal-title":"Simulation"},{"key":"38_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/978-3-642-29737-3_51","volume-title":"Euro-Par 2011: Parallel Processing Workshops","author":"G Cordasco","year":"2012","unstructured":"Cordasco, G., De Chiara, R., Mancuso, A., Mazzeo, D., Scarano, V., Spagnuolo, C.: A framework for distributing agent-based simulations. In: Alexander, M., et al. (eds.) Euro-Par 2011, Part I. LNCS, vol. 7155, pp. 460\u2013470. Springer, Heidelberg (2012)"},{"key":"38_CR13","doi-asserted-by":"crossref","unstructured":"Wittek, P., Rubio-Campillo, X.: Scalable agent-based modelling with cloud HPC resources for social simulations. In: Proceedings of the 4th International Conference on Cloud Computing Technology and Science, CloudCom, pp. 355\u2013362. IEEE Computer Society (2012)","DOI":"10.1109\/CloudCom.2012.6427498"},{"key":"38_CR14","unstructured":"Karpov, Y.G.: Anylogic \u2013 a new generation professional simulation tool. In: Proceedings of the 6th International Congress on Mathematical Modeling, MATHMOD, September 2004"},{"key":"38_CR15","unstructured":"Holcombe, M., Coakley, S., Smallwood, R.: A general framework for agent-based modelling of complex systems. In: Proceedings of the 2006 European Conference on Complex Systems. European Complex Systems Society, Paris, France (2006)"},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"Richmond, P., Romano, D.: Agent based GUP, a real-time 3D simulation and interactive visualisation framework for massive agent based modelling on the gpu. In: Proceedings International Workshop on Supervisualisation (2008)","DOI":"10.1109\/HiBi.2009.12"},{"issue":"1","key":"38_CR17","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.jcss.2013.07.006","volume":"80","author":"P Romano","year":"2014","unstructured":"Romano, P., Palmieri, R., Quaglia, F., Carvalho, N., Rodrigues, L.: On speculative replication of transactional systems. J. Comput. Syst. Sci. 80(1), 257\u2013276 (2014)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"38_CR18","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"DR Jefferson","year":"1985","unstructured":"Jefferson, D.R.: Virtual Time. ACM Trans. Prog. Lang. Syst. 7(3), 404\u2013425 (1985)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"38_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/978-3-319-14325-5_34","volume-title":"Euro-Par 2014: Parallel Processing Workshops","author":"A Pellegrini","year":"2014","unstructured":"Pellegrini, A., Quaglia, F.: Programmability and performance of parallel ECS-based simulation of multi-agent exploration models. In: Lopes, L., et al. (eds.) Euro-Par 2014, Part I. LNCS, vol. 8805, pp. 395\u2013406. Springer, Heidelberg (2014)"},{"key":"38_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-54420-0_57","volume-title":"Euro-Par 2013: Parallel Processing Workshops","author":"A Pellegrini","year":"2014","unstructured":"Pellegrini, A., Quaglia, F.: A study on the parallelization of terrain-covering ant robots simulations. In: Mey, D., et al. (eds.) Euro-Par 2013. LNCS, vol. 8374, pp. 585\u2013594. Springer, Heidelberg (2014)"},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Pellegrini, A.: Hijacker: efficient static software instrumentation with applications in high performance computing (poster paper). In: Proceedings of the 2013 International Conference on High Performance Computing & Simulation, HPCS. IEEE Computer Society, July 2013","DOI":"10.1109\/HPCSim.2013.6641486"},{"key":"38_CR22","doi-asserted-by":"publisher","first-page":"1220","DOI":"10.1145\/63039.63045","volume":"31","author":"R Brown","year":"1988","unstructured":"Brown, R.: Calendar queues: a fast O(1) priority queue implementation for the simulation event set problem. Commun. ACM 31, 1220\u20131227 (1988)","journal-title":"Commun. ACM"},{"issue":"8","key":"38_CR23","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L Lamport","year":"1974","unstructured":"Lamport, L.: A new solution of Dijkstra\u2019s concurrent programming problem. Commun. ACM 17(8), 453\u2013455 (1974)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2015: Parallel Processing Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27308-2_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:40:52Z","timestamp":1587343252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27308-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319273075","9783319273082"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27308-2_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"18 December 2015","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"}]}}