{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:59:51Z","timestamp":1726408791300},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319068794"},{"type":"electronic","value":"9783319068800"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06880-0_21","type":"book-chapter","created":{"date-parts":[[2014,5,23]],"date-time":"2014-05-23T00:26:34Z","timestamp":1400804794000},"page":"407-426","source":"Crossref","is-referenced-by-count":0,"title":["Optimal Coin Flipping"],"prefix":"10.1007","author":[{"given":"Dexter","family":"Kozen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Adamek, J.: Foundations of Coding. Wiley (1991)","DOI":"10.1002\/9781118033265"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1051\/ita:2007028","volume":"41","author":"J. Ad\u00e1mek","year":"2007","unstructured":"Ad\u00e1mek, J., L\u00fccke, D., Milius, S.: Recursive coalgebras of finitary functors. Theoretical Informatics and Applications\u00a041, 447\u2013462 (2007)","journal-title":"Theoretical Informatics and Applications"},{"issue":"5:4","key":"21_CR3","first-page":"1","volume":"2","author":"J. Ad\u00e1mek","year":"2006","unstructured":"Ad\u00e1mek, J., Milius, S., Velebil, J.: Elgot algebras. Log. Methods Comput. Sci.\u00a02(5:4), 1\u201331 (2006)","journal-title":"Log. Methods Comput. Sci."},{"issue":"2","key":"21_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF02579167","volume":"6","author":"M. Blum","year":"1986","unstructured":"Blum, M.: Independent unbiased coin flips from a correlated biased source: a finite state Markov chain. Combinatorica\u00a06(2), 97\u2013108 (1986)","journal-title":"Combinatorica"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-10452-7_7","volume-title":"Formal Methods: Foundations and Applications","author":"V. Capretta","year":"2009","unstructured":"Capretta, V., Uustalu, T., Vene, V.: Corecursive algebras: A study of general structured corecursion. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol.\u00a05902, pp. 84\u2013100. Springer, Heidelberg (2009)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Cover, T.M., Thomas, J.A.: Elements of Information Theory. Wiley-Interscience (August 1991)","DOI":"10.1002\/0471200611"},{"issue":"3","key":"21_CR7","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1214\/aoms\/1177692552","volume":"43","author":"P. Elias","year":"1992","unstructured":"Elias, P.: The efficient construction of an unbiased random sequence. Ann. Math. Stat.\u00a043(3), 865\u2013870 (1992)","journal-title":"Ann. Math. Stat."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Coinductive proof principles for stochastic processes. Logical Methods in Computer Science\u00a03(4:8) (2007)","DOI":"10.2168\/LMCS-3(4:8)2007"},{"key":"21_CR9","unstructured":"von Neumann, J.: Various techniques used in connection with random digits. In: Forsythe, G.E. (ed.) National Bureau of Standards. Applied Math Series, vol.\u00a012, pp. 36\u201338 (1951); reprinted in: von Neumann\u2019s Collected Works, vol. 5, pp. 768\u2013770. Pergamon Press (1963)"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1006\/jcss.1997.1546","volume":"58","author":"N. Nisan","year":"1999","unstructured":"Nisan, N., Ta-shma, A.: Extracting randomness: A survey and new constructions. Journal of Computer and System Sciences\u00a058, 148\u2013173 (1999)","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1006\/jcss.1996.0004","volume":"52","author":"N. Nisan","year":"1996","unstructured":"Nisan, N., Zuckerman, D.: Randomness is linear in space. Journal of Computer and System Sciences\u00a052, 43\u201352 (1996)","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR12","unstructured":"Park, D.M.R.: Fixpoint induction and proofs of program properties. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a05, pp. 59\u201378. Edinburgh University Press (1969)"},{"issue":"1","key":"21_CR13","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1214\/aos\/1176348543","volume":"20","author":"Y. Peres","year":"1992","unstructured":"Peres, Y.: Iterating von Neumann\u2019s procedure for extracting random bits. Ann. Stat.\u00a020(1), 590\u2013597 (1992)","journal-title":"Ann. Stat."},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1137\/S009753979630091X","volume":"28","author":"A. Srinivasan","year":"1999","unstructured":"Srinivasan, A., Zuckerman, D.: Computing with very weak random sources. SIAM J. Computing\u00a028, 264\u2013275 (1999)","journal-title":"SIAM J. Computing"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Ta-shma, A.: On extracting randomness from weak random sources. In: Proc. 28th ACM Symp. Theory of Computing, pp. 276\u2013285 (1996)","DOI":"10.1145\/237814.237877"}],"container-title":["Lecture Notes in Computer Science","Horizons of the Mind. A Tribute to Prakash Panangaden"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06880-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T15:29:20Z","timestamp":1565450960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06880-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068794","9783319068800"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06880-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}