乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:45:46Z","timestamp":1725813946681},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319144719"},{"type":"electronic","value":"9783319144726"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14472-6_11","type":"book-chapter","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T09:44:09Z","timestamp":1418118249000},"page":"155-170","source":"Crossref","is-referenced-by-count":6,"title":["The Opinion Number of Set-Agreement"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Fraigniaud","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Rajsbaum","sequence":"additional","affiliation":[]},{"given":"Matthieu","family":"Roy","sequence":"additional","affiliation":[]},{"given":"Corentin","family":"Travers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"873","DOI":"10.1145\/153724.153741","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. ACM\u00a040(4), 873\u2013890 (1993)","journal-title":"J. ACM"},{"issue":"4","key":"11_CR2","doi-asserted-by":"publisher","first-page":"1286","DOI":"10.1137\/S0097539797330689","volume":"31","author":"H. Attiya","year":"2002","unstructured":"Attiya, H., Rajsbaum, S.: The Combinatorial Structure of Wait-free Solvable Tasks. SIAM Journal of Computing\u00a031(4), 1286\u20131313 (2002)","journal-title":"SIAM Journal of Computing"},{"key":"11_CR3","unstructured":"Awerbuch, B., Patt-Shamir, B., Varghese, G.: Self-stabilization by Local Checking and Correction. In: 32nd Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 268\u2013277 (1991)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-32759-9_10","volume-title":"FM 2012: Formal Methods","author":"A. Bauer","year":"2012","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 85\u2013100. Springer, Heidelberg (2012)"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A. Bauer","year":"2010","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL Semantics for Runtime Verification. J. Log. and Comput.\u00a020(3), 651\u2013674 (2010)","journal-title":"J. Log. and Comput."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Berkovich, S., Bonakdarpour, B., Fischmeister, S.: Gpu-based Runtime Verification. In: 27th IEEE International Parallel & Distributed Processing Symposium (IPDPS), pp. 1025\u20131036 (2013)","DOI":"10.1109\/IPDPS.2013.105"},{"issue":"1","key":"11_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"M. Chandy","year":"1985","unstructured":"Chandy, M., Lamport, L.: Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans. Comput. Syst.\u00a03(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1006\/inco.1993.1043","volume":"105","author":"S. Chaudhuri","year":"1993","unstructured":"Chaudhuri, S.: More Choices Allow more Faults: Set Consensus Problems in Totally Asynchronous Systems. Information and Computation\u00a0105(1), 132\u2013158 (1993)","journal-title":"Information and Computation"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M. Fischer","year":"1985","unstructured":"Fischer, M., Lynch, N., Paterson, M.: Impossibility of Distributed Consensus with One Faulty Process. J. ACM\u00a032(2), 374\u2013382 (1985)","journal-title":"J. ACM"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Fraigniaud, P., Korman, A., Peleg, D.: Local Distributed Decision. In: 52nd Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 708\u2013717 (2011)","DOI":"10.1109\/FOCS.2011.17"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Fraigniaud, P., Rajsbaum, S., Roy, M., Travers, C.: The Opinion Number of Set-Agreement. Technical report hal-01073578 (2014), \n \n http:\/\/hal.inria.fr\/hal-01073578\/PDF\/","DOI":"10.1007\/978-3-319-14472-6_11"},{"issue":"4","key":"11_CR12","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s00446-013-0188-x","volume":"26","author":"P. Fraigniaud","year":"2013","unstructured":"Fraigniaud, P., Rajsbaum, S., Travers, C.: Locality and Checkability in Wait-free Computing. Distributed Computing\u00a026(4), 223\u2013242 (2013)","journal-title":"Distributed Computing"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-11164-3_9","volume-title":"Runtime Verification","author":"P. Fraigniaud","year":"2014","unstructured":"Fraigniaud, P., Rajsbaum, S., Travers, C.: On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol.\u00a08734, pp. 92\u2013107. Springer, Heidelberg (2014)"},{"key":"11_CR14","unstructured":"Henle, M.: A Combinatorial Introduction to Topology. Dover (1994)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Kozlov, D., Rajsbaum, S.: Distributed Computing Through Combinatorial Topology. Morgan Kaufmann-Elsevier (2013)","DOI":"10.1016\/B978-0-12-404578-1.00003-6"},{"issue":"6","key":"11_CR16","doi-asserted-by":"publisher","first-page":"858","DOI":"10.1145\/331524.331529","volume":"46","author":"M. Herlihy","year":"1999","unstructured":"Herlihy, M., Shavit, N.: The Topological Structure of Asynchronous Computability. J. ACM\u00a046(6), 858\u2013923 (1999)","journal-title":"J. ACM"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Raynal, M.: Concurrent Programming - Algorithms, Principles, and Foundations. Springer (2013)","DOI":"10.1007\/978-3-642-32027-9"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Decentralized Runtime Analysis of Multithreaded Applications. In: 20th International IEEE Parallel & Distributed Processing Symposium (IPDPS) (2006)","DOI":"10.1109\/IPDPS.2006.1639591"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14472-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T23:55:09Z","timestamp":1559087709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14472-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319144719","9783319144726"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14472-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}