{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,19]],"date-time":"2026-09-19T01:48:03Z","timestamp":1789782483926,"version":"4.0.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319030883","type":"print"},{"value":"9783319030890","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03089-0_2","type":"book-chapter","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T11:18:14Z","timestamp":1382008694000},"page":"17-31","source":"Crossref","is-referenced-by-count":2,"title":["Universal Model Simulation: BG and Extended BG as Examples"],"prefix":"10.1007","author":[{"given":"Petr","family":"Kuznetsov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"2_CR1","first-page":"873","volume":"40","author":"Y. Afek","year":"1993","unstructured":"Afek, Y., Attiya, H., Dolev, D., Gafni, E., Merritt, M., Shavit, N.: Atomic snapshots of shared memory. J.\u00a0ACM\u00a040(4), 873\u2013890 (1993)","journal-title":"J.\u00a0ACM"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett.\u00a021(4), 181\u2013185 (1985)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"2_CR3","first-page":"124","volume":"42","author":"H. Attiya","year":"1995","unstructured":"Attiya, H., Bar-Noy, A., Dolev, D.: Sharing memory robustly in message passing systems. J.\u00a0ACM\u00a042(2), 124\u2013142 (1995)","journal-title":"J.\u00a0ACM"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Attiya, H., Guerraoui, R., Hendler, D., Kuznetsov, P.: The complexity of obstruction-free implementations. J. ACM\u00a056(4) (2009)","DOI":"10.1145\/1538902.1538908"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Borowsky, E., Gafni, E.: Generalized FLP impossibility result for t-resilient asynchronous computations. In: STOC, pp. 91\u2013100. ACM Press (May 1993)","DOI":"10.1145\/167088.167119"},{"key":"2_CR6","first-page":"41","volume-title":"PODC","author":"E. Borowsky","year":"1993","unstructured":"Borowsky, E., Gafni, E.: Immediate atomic snapshots and fast renaming. In: PODC, pp. 41\u201351. ACM Press, New York (1993)"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/PL00008933","volume":"14","author":"E. Borowsky","year":"2001","unstructured":"Borowsky, E., Gafni, E., Lynch, N.A., Rajsbaum, S.: The BG distributed simulation algorithm. Distributed Computing\u00a014(3), 127\u2013146 (2001)","journal-title":"Distributed Computing"},{"issue":"2","key":"2_CR8","first-page":"225","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. J.\u00a0ACM\u00a043(2), 225\u2013267 (1996)","journal-title":"J.\u00a0ACM"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Delporte-Gallet, C., Fauconnier, H., Gafni, E., Kuznetsov, P.: Wait-freedom with advice. In: PODC, pp. 105\u2013114 (2012)","DOI":"10.1145\/2332432.2332456"},{"issue":"3-4","key":"2_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s00446-010-0122-4","volume":"24","author":"C. Delporte-Gallet","year":"2011","unstructured":"Delporte-Gallet, C., Fauconnier, H., Guerraoui, R., Tielmann, A.: The disagreement power of an adversary. Distributed Computing\u00a024(3-4), 137\u2013147 (2011)","journal-title":"Distributed Computing"},{"issue":"2","key":"2_CR11","first-page":"374","volume":"32","author":"M.J. Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J.\u00a0ACM\u00a032(2), 374\u2013382 (1985)","journal-title":"J.\u00a0ACM"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Gafni, E.: Round-by-round fault detectors (extended abstract): Unifying synchrony and asynchrony. In: Proceedings of the 17th Symposium on Principles of Distributed Computing (1998)","DOI":"10.1145\/277697.277724"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Gafni, E.: The extended BG-simulation and the characterization of t-resiliency. In: STOC, pp. 85\u201392 (2009)","DOI":"10.1145\/1536414.1536428"},{"key":"2_CR14","unstructured":"Gafni, E., Guerraoui, R.: Simulating few by many: Limited concurrency = set consensus. Technical report, UCLA (2009), \n                  \n                    http:\/\/www.cs.ucla.edu\/~eli\/eli\/kconc.pdf"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-23217-6_2","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"E. Gafni","year":"2011","unstructured":"Gafni, E., Guerraoui, R.: Generalized universality. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol.\u00a06901, pp. 17\u201327. Springer, Heidelberg (2011)"},{"issue":"3-4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s00446-011-0142-8","volume":"24","author":"E. Gafni","year":"2011","unstructured":"Gafni, E., Kuznetsov, P.: On set consensus numbers. Distributed Computing\u00a024(3-4), 149\u2013163 (2011)","journal-title":"Distributed Computing"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-642-17679-1_17","volume-title":"Distributed Computing and Networking","author":"E. Gafni","year":"2011","unstructured":"Gafni, E., Kuznetsov, P.: Relating \n                  \n                    \n                  \n                  $\\mathcal{L}$\n                -Resilience and Wait-Freedom via Hitting Sets. In: Aguilera, M.K., Yu, H., Vaidya, N.H., Srinivasan, V., Choudhury, R.R. (eds.) ICDCN 2011. LNCS, vol.\u00a06522, pp. 191\u2013202. Springer, Heidelberg (2011)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-17653-1_17","volume-title":"Principles of Distributed Systems","author":"E. Gafni","year":"2010","unstructured":"Gafni, E., Rajsbaum, S.: Distributed programming with tasks. In: Lu, C., Masuzawa, T., Mosbah, M. (eds.) OPODIS 2010. LNCS, vol.\u00a06490, pp. 205\u2013218. Springer, Heidelberg (2010)"},{"key":"2_CR19","unstructured":"Herlihy, M., Luchangco, V., Moir, M.: Obstruction-free synchronization: Double-ended queues as an example. In: ICDCS, pp. 522\u2013529 (2003)"},{"issue":"2","key":"2_CR20","first-page":"858","volume":"46","author":"M. Herlihy","year":"1999","unstructured":"Herlihy, M., Shavit, N.: The topological structure of asynchronous computability. J.\u00a0ACM\u00a046(2), 858\u2013923 (1999)","journal-title":"J.\u00a0ACM"},{"key":"2_CR21","first-page":"54","volume":"106","author":"P. Kuznetsov","year":"2012","unstructured":"Kuznetsov, P.: Understanding non-uniform failure models. Bull. Eur. Assoc. Theor. Comput. Sci. EATCS\u00a0106, 54\u201377 (2012)","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci. EATCS"}],"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-03089-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:41:52Z","timestamp":1558626112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03089-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319030883","9783319030890"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03089-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}