{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T00:04:50Z","timestamp":1790640290719,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662558614","type":"print"},{"value":"9783662558621","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-662-55862-1_4","type":"book-chapter","created":{"date-parts":[[2017,9,19]],"date-time":"2017-09-19T10:03:23Z","timestamp":1505815403000},"page":"70-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Modelling and Analysis of Distributed Storage Systems"],"prefix":"10.1007","author":[{"given":"Jordan","family":"de la Houssaye","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philippe","family":"Deniel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,9,20]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1147\/sj.52.0078","volume":"5","author":"LA Belady","year":"1966","unstructured":"Belady, L.A.: A study of replacement algorithms for a virtual-storage computer. IBM Syst. J. 5, 78\u2013101 (1966)","journal-title":"IBM Syst. J."},{"key":"4_CR2","unstructured":"Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of agent-based artifact systems. ArXiv:1301.2678 [cs.MA] (2013)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Chen, Z., Zhang, Y., Zhou, Y., Scott, H., Schiefer, B.: Empirical evaluation of multi-level buffer cache collaboration for storage systems. In: SIGMETRICS 2005. ACM (2005)","DOI":"10.1145\/1064212.1064230"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/363095.363141","volume":"11","author":"PJ Denning","year":"1968","unstructured":"Denning, P.J.: The working set model for program behavior. Commun. ACM 11, 323\u2013333 (1968)","journal-title":"Commun. ACM"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Fronc, \u0141.: Effective marking equivalence checking in systems with dynamic process creation. In: INFINITY 2012. ENTCS, Elsevier (2012)","DOI":"10.4204\/EPTCS.107.6"},{"key":"4_CR6","unstructured":"Gill, B.S.: On multi-level exclusive caching: offline optimality and why promotions are better than demotions. In: FAST 2008. USENIX Association (2008)"},{"key":"4_CR7","unstructured":"de la Houssaye, J.: Modles de stockages distribus appliqus aux caches hirarchiques. Ph.D. thesis, University of \u00c9vry, July 2015"},{"key":"4_CR8","unstructured":"de la Houssaye, J., Pommereau, F., Deniel, P.: Formal modelling and analysis of distributed storage systems. Technical report, IBISC, Univ. \u00c9vry (2014)"},{"key":"4_CR9","unstructured":"de la Houssaye, J., Pommereau, F., Deniel, P.: Formal modelling and analysis of distributed storage systems. In: Proceeding of PNSE 2016. vol. 1591. CEUR-WS (2016)"},{"key":"4_CR10","first-page":"131","volume":"20","author":"H Klaudel","year":"2010","unstructured":"Klaudel, H., Koutny, M., Pelz, E., Pommereau, F.: State space reduction for dynamic process creation. Sci. Ann. Comput. Sci. 20, 131\u2013157 (2010)","journal-title":"Sci. Ann. Comput. Sci."},{"key":"4_CR11","unstructured":"Li, Z., Chen, Z., Srinivasan, S.M., Zhou, Y.: C-miner: mining block correlations in storage systems. In: FAST 2004. USENIX Association (2004)"},{"key":"4_CR12","unstructured":"Megiddo, N., Modha, D.S.: ARC: a self-tuning, low overhead replacement cache. In: FAST 2003. USENIX Association (2003)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-319-19488-2_13","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"F Pommereau","year":"2015","unstructured":"Pommereau, F.: SNAKES: a flexible high-level petri nets library (tool paper). In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 254\u2013265. Springer, Cham (2015). doi: 10.1007\/978-3-319-19488-2_13"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-39086-4_12","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"F Pommereau","year":"2016","unstructured":"Pommereau, F.: ABCD: a user-friendly language for formal modelling and analysis. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 176\u2013195. Springer, Cham (2016). doi: 10.1007\/978-3-319-39086-4_12"},{"key":"4_CR15","unstructured":"Wong, T.M., Wilkes, J.: My cache or yours? Making storage more exclusive. In: FAST 2002. USENIX Association (2002)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55862-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T00:43:13Z","timestamp":1659487393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55862-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662558614","9783662558621"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55862-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"20 September 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}