{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T21:33:37Z","timestamp":1763415217680},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426530"},{"type":"electronic","value":"9783540454380"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45438-1_2","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T18:24:05Z","timestamp":1184955845000},"page":"19-34","source":"Crossref","is-referenced-by-count":18,"title":["Cross-Over Composition - Enforcement of Fairness under Unfair Adversary"],"prefix":"10.1007","author":[{"given":"Joffroy","family":"Beauquier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Gradinariu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colette","family":"Johnen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,13]]},"reference":[{"key":"2_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-40026-5_15","volume-title":"DISC 2000, 14th International Symposium on Distributed Computing","author":"J. Beauquier","year":"2000","unstructured":"Beauquier J., Datta A., Gradinariu M., and Magniette F.: Self-stabilizing Local Mutual Exclusion and Daemon Refinement. DISC 2000, 14th International Symposium on Distributed Computing, LNCS:1914 (2000) 223\u2013237"},{"key":"2_CR2","unstructured":"Beauquier J., Durand-Lose J., Gradinariu M., Johnen C.: Token based selfstabilizing uniform algorithms. tech. Rep. no. 1250, LRI, Universit\u00e9 Paris-Sud; to appear in The Chicago Journal of Theoretical Computer Science (2000)"},{"key":"2_CR3","unstructured":"Beauquier J., Gradinariu M., Johnen C.: Memory Space Requirements for Selfstabilizing Leader Election Protocols. PODC\u201999, 18th Annual ACM Symposium on Principles of Distributed Computing (1999) 199\u2013208"},{"key":"2_CR4","unstructured":"Beauquier J., Gradinariu M., Johnen C.: Randomized self-stabilizing optimal leader election under arbitrary scheduler on rings. Tech. Rep. no. 1225, LRI, Universit\u00e9 Paris-Sud (1999)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Dolev S., Herman T.: Parallel composition of stabilizing algorithms. WSS\u201999, fourth Workshop on Self-Stabilizing Systems (1999) 25\u201332","DOI":"10.1109\/SLFSTB.1999.777483"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Fich F., Johnen C., A space optimal deterministic, self-stabilizing, leader election algorithm for unidirectional Rings. DISC 2001, 15th International Symposium on Distributed Computing (2001)","DOI":"10.1007\/3-540-45414-4_16"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Gouda M., Haddix F.: The alternator. WSS\u201999, Fourth Workshop on Self-Stabilizing Systems (1999) 48\u201353","DOI":"10.1109\/SLFSTB.1999.777486"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1109\/32.92911","volume":"17","author":"M. Gouda","year":"1991","unstructured":"Gouda M., Herman T.: Adaptive programming. IEEE Transactions on Software Engineering\n                        17 (1991) 911\u2013921","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1109\/71.577257","volume":"8","author":"H. Kakugawa","year":"1997","unstructured":"Kakugawa, H., Yamashita, M.: Uniform and Self-stabilizing Token Rings Allowing Unfair Daemon. IEEE Transactions on Parallel and Distributed Systems\n                        8 (1997) 154\u2013162","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"2_CR10","unstructured":"Segala R.: Modeling and Verification of Randomized Distributed Real-time Systems. PhD thesis, MIT, Department of Electrical Engineering and Computer Science (1995)"},{"key":"2_CR11","series-title":"Lect Notes Comput Sci","volume-title":"CONCUR\u201994, 5th International Conference on Concurrency Theory","author":"R. Segala","year":"1994","unstructured":"Segala R., Lynch N.: Probabilistic simulations for probabilistic processes. CONCUR\u201994, 5th International Conference on Concurrency Theory, LNCS:836, (1994)"},{"key":"2_CR12","unstructured":"Varghese G.: Compositional proofs of self-stabilizing protocols. WSS\u201997, Third Workshop on Self-stabilizing Systems (1997) 80\u201394"},{"key":"2_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/978-3-540-48654-1_37","volume-title":"CONCUR\u201994, 5th International Conference on Concurrency Theory","author":"S. H. Wu","year":"1994","unstructured":"Wu S. H., Smolka S. A., Stark E. W.: Composition and behaviors of probabilistic I\/O automata. CONCUR\u201994, 5th International Conference on Concurrency Theory, LNCS:836, (1994) 513\u2013528"}],"container-title":["Lecture Notes in Computer Science","Self-Stabilizing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45438-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T05:25:55Z","timestamp":1550467555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45438-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426530","9783540454380"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45438-1_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}