{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:30:50Z","timestamp":1725805850372},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117638"},{"type":"electronic","value":"9783319117645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11764-5_13","type":"book-chapter","created":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T22:53:32Z","timestamp":1411512812000},"page":"180-194","source":"Crossref","is-referenced-by-count":2,"title":["Stateless Stabilization Bootstrap (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Shlomi","family":"Dolev","sequence":"first","affiliation":[]},{"given":"Ramzi Martin","family":"Kahil","sequence":"additional","affiliation":[]},{"given":"Reuven","family":"Yagel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Beck, K.: Test-Driven Development by Example. Addison Wesley-Vaseem (2003)"},{"key":"13_CR2","unstructured":"Brooks, F.: No silver bullet. University of North Carolina at Chapel Hill (1987)"},{"issue":"4","key":"13_CR3","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s10009-011-0200-3","volume":"13","author":"O. Burkman","year":"2011","unstructured":"Burkman, O., Dolev, S.: Recovery oriented programming: runtime monitoring of safety and liveness. International Journal on Software Tools for Technology Transfer, STTT\u00a013(4), 377\u2013395 (2011)","journal-title":"International Journal on Software Tools for Technology Transfer, STTT"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM\u00a018, 453\u2013457 (1975)","journal-title":"Communications of the ACM"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Communications of the ACM\u00a017, 643\u2013644 (1974)","journal-title":"Communications of the ACM"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. In: The 6th Conference on Symposium on Opearting Systems Design and Implementation (OSDI), vol.\u00a06, pp. 107\u2013113 (2004)","DOI":"10.1145\/1327452.1327492"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Dolev, S.: Self-Stabilization. MIT press, Cambridge (2000)","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1145\/1017460.1017463","volume":"51","author":"S. Dolev","year":"2004","unstructured":"Dolev, S., Welch, J.L.: Self-stabilizing clock synchronization in the presence of Byzantine faults. Journal of the ACM\u00a051, 780\u2013799 (2004)","journal-title":"Journal of the ACM"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF02278851","volume":"7","author":"S. Dolev","year":"1993","unstructured":"Dolev, S., Israeli, A., Moran, S.: Self-stabilization of dynamic systems assuming only read\/write atomicity. Distributed Computing\u00a07, 3\u201316 (1993)","journal-title":"Distributed Computing"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/T-ED.1979.19370","volume":"26","author":"T.C. May","year":"1979","unstructured":"May, T.C., Woods, M.H.: Alpha-particle-induced soft errors in dynamic memories. IEEE Transactions Electron Devices\u00a026, 2\u20139 (1979)","journal-title":"IEEE Transactions Electron Devices"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Notions of computation and monads. In: IEEE Symposium on Logic in Computer Science, vol.\u00a093, pp. 55\u201392 (1991)","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"13_CR12","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing Heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, pp. 267\u2013280 (2008)"},{"key":"13_CR13","unstructured":"Rist, R., Terwilliger, R.: Object-oriented programming in Eiffel. Prentice Hall (1995)"},{"key":"13_CR14","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall (1991)"},{"key":"13_CR15","unstructured":"Sharma, A., Welch, S.: Preserving the integrity of enterprise platforms via an Assured eXecution Environment (AxE). In: The 7th Symposium on Operating Systems Design and Implementation, OSDI (2006)"},{"key":"13_CR16","unstructured":"Sloss, A.N., Symes, D., Wright, C., Rayfield, J.: ARM System Developer\u2019s Guide, pp. 342\u2013346. Morgan Kaufmann Publications (2004)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-59451-5_2","volume":"925","author":"P. Wadler","year":"1995","unstructured":"Wadler, P.: Monads for functional programming. Advanced Functional Programming\u00a0925, 24\u201352 (1995)","journal-title":"Advanced Functional Programming"},{"key":"13_CR18","unstructured":"KVM official documentation. See Documentation\/virtual\/kvm\/ in git:\/\/git.kernel.org\/pub\/scm\/virt\/kvm\/kvm.git"},{"key":"13_CR19","unstructured":"http:\/\/kernelnewbies.org\/FAQ\/LinkedLists"},{"key":"13_CR20","unstructured":"https:\/\/gist.github.com\/RamziMartinKahil\/11169599"},{"key":"13_CR21","unstructured":"https:\/\/gist.github.com\/RamziMartinKahil\/11083508"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11764-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T21:04:09Z","timestamp":1598303049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11764-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117638","9783319117645"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11764-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}