{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:55:32Z","timestamp":1754488532157},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744061"},{"type":"electronic","value":"9783540744078"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74407-8_19","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T14:30:48Z","timestamp":1187447448000},"page":"272-286","source":"Crossref","is-referenced-by-count":13,"title":["Fair Cooperative Multithreading"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Boudol","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, H.R.: Cooperative task management without manual stack management or, Event-driven programming is not the opposite of threaded programming, Usenix ATC (2002)"},{"issue":"1","key":"19_CR2","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/146941.146944","volume":"10","author":"T.E. Anderson","year":"1992","unstructured":"Anderson, T.E., Bershad, B.N., Lazowska, E.D., Levy, H.M.: Scheduler activations: effective kernel support for the user-level management of parallelism. ACM Trans. on Computer Systems\u00a010(1), 53\u201379 (1992)","journal-title":"ACM Trans. on Computer Systems"},{"issue":"3","key":"19_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/306225.306234","volume":"26","author":"G. Banga","year":"1998","unstructured":"Banga, G., Druschel, P., Mogul, J.C.: Better operating sytem features for faster network servers. ACM SIGMETRICS Performance Evaluation Review\u00a026(3), 23\u201330 (1998)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"19_CR4","first-page":"117","volume-title":"Handbook of Logic in Computer Science","author":"H. Barendregt","year":"1992","unstructured":"Barendregt, H.: Lambda Calculi with Types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, pp. 117\u2013309. Oxford University Press, Oxford (1992)"},{"key":"19_CR5","unstructured":"von Berhen, R., Condit, J., Brewer, E.: Why events are a bad idea (for highconcurrency servers). In: Proceedings of HotOS IX (2003)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"von Berhen, R., Condit, J., Zhou, F., Necula, G.C., Brewer, E.: Capriccio: scalable threads for Internet services. In: SOSP 2003 (2003)","DOI":"10.1145\/945445.945471"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/11417170_8","volume-title":"Typed Lambda Calculi and Applications","author":"N. Benton","year":"2005","unstructured":"Benton, N., Leperchey, B.: Relational reasoning in a nominal semantics for storage. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol.\u00a03461, pp. 86\u2013101. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1006\/inco.1999.2828","volume":"155","author":"L. Birkedal","year":"1999","unstructured":"Birkedal, L., Harper, R.: Relational interpretation of recursive types in an operational setting. Information and Computation\u00a0155(1-2), 3\u201363 (1999)","journal-title":"Information and Computation"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/11924661_5","volume-title":"Programming Languages and Systems","author":"N. Bohr","year":"2006","unstructured":"Bohr, N., Birkedal, L.: Relational reasoning for recursive types and references. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol.\u00a04279, pp. 79\u201396. Springer, Heidelberg (2006)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/978-3-540-24725-8_17","volume-title":"Programming Languages and Systems","author":"G. Boudol","year":"2004","unstructured":"Boudol, G.: ULM, a core programming model for global computing. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 234\u2013248. Springer, Heidelberg (2004)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/11560647_24","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"G. Boudol","year":"2005","unstructured":"Boudol, G.: On typing information flow. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 366\u2013380. Springer, Heidelberg (2005)"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1002\/cpe.919","volume":"18","author":"F. Boussinot","year":"2006","unstructured":"Boussinot, F.: FairThreads: mixing cooperative and preemptive threads in C. Concurrency and Computation: Practice and Experience\u00a018, 445\u2013469 (2006)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"19_CR13","unstructured":"Dabrowski, F., Boussinot, F.: Cooperative threads and preemptive computations. In: Proceeding of TV 2006, Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification, FLoC 2006 (2006)"},{"key":"19_CR14","first-page":"87","volume-title":"Proc. of the Fifth ACM SIGPLAN Workshop on Scheme and Functional Programming","author":"S. Epardaud","year":"2004","unstructured":"Epardaud, S.: Mobile reactive programming in ULM. In: Proc. of the Fifth ACM SIGPLAN Workshop on Scheme and Functional Programming, pp. 87\u201398. ACM Press, New York (2004)"},{"issue":"4","key":"19_CR15","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1017\/S095679680200446X","volume":"13","author":"J.-C. Filli\u00e2tre","year":"2003","unstructured":"Filli\u00e2tre, J.-C.: Verification of non-functional programs using interpretations in type theory. J. Functional Programming\u00a013(4), 709\u2013745 (2003)","journal-title":"J. Functional Programming"},{"key":"19_CR16","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., Taylor, P.: Proofs and Types. Cambridge Tracts in Theoretical Computer Science, vol.\u00a07. Cambridge University Press, Cambridge (1989)"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"Kleene, S.C.: On the interpretation of intuitionistic number theory. J. of Symbolic Logic\u00a010, 109\u2013124 (1945)","journal-title":"J. of Symbolic Logic"},{"key":"19_CR18","unstructured":"Krivine, J.-L.: Lambda-Calcul: Types et Mod\u00e8les, Masson, Paris (1990). English translation Lambda-Calculus, Types and Models, Ellis Horwood (1993)"},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"Landin, P.J.: The mechanical evaluation of expressions. Computer Journal\u00a06, 308\u2013320 (1964)","journal-title":"Computer Journal"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL 1988, pp. 47\u201357 (1988)","DOI":"10.1145\/73560.73564"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Mandel, L., Pouzet, M.: ReactiveML, a reactive extension to ML. In: PPDP 2005, pp. 82\u201393 (2005)","DOI":"10.1145\/1069774.1069782"},{"key":"19_CR22","volume-title":"Foundations for Programming Languages","author":"J.C. Mitchell","year":"1996","unstructured":"Mitchell, J.C.: Foundations for Programming Languages. MIT Press, Cambridge (1996)"},{"key":"19_CR23","unstructured":"Ousterhout, J.: Why threads are a bad idea (for most purposes), presentation given at the 1996 Usenix ATC (1996)"},{"key":"19_CR24","unstructured":"Pitts, A., Stark, I.: Operational reasoning for functions with local state. In: Gordon, A., Pitts, A. (eds.) Higher-Order Operational Techniques in Semantics, pp. 227\u2013273. Publication of the Newton Institute, Cambridge Univ. Press (1998)"},{"key":"19_CR25","unstructured":"Plotkin, G.: Lambda-definability and logical relations. Memo SAI-RM-4, University of Edinburgh (1973)"},{"key":"19_CR26","first-page":"48","volume-title":"IEEE Intern. Conf. on Computer Languages","author":"R. Pucella","year":"1998","unstructured":"Pucella, R.: Reactive programming in Standard ML. In: IEEE Intern. Conf. on Computer Languages, pp. 48\u201357. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"19_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129505004810","volume":"16","author":"D. Sangiorgi","year":"2006","unstructured":"Sangiorgi, D.: Termination of processes. Math. Struct. in Comp. Science\u00a016, 1\u201339 (2006)","journal-title":"Math. Struct. in Comp. Science"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Serrano, M., Boussinot, F., Serpette, B.: Scheme fair threads. In: PPDP 2004, pp. 203\u2013214 (2004)","DOI":"10.1145\/1013963.1013986"},{"key":"19_CR29","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/inco.1994.1046","volume":"111","author":"J.-P. Talpin","year":"1994","unstructured":"Talpin, J.-P., Jouvelot, P.: The type and effect discipline. Information and Computation\u00a0111, 245\u2013296 (1994)","journal-title":"Information and Computation"},{"key":"19_CR30","doi-asserted-by":"publisher","first-page":"198","DOI":"10.2307\/2271658","volume":"32","author":"W. Tait","year":"1967","unstructured":"Tait, W.: Intensional interpretations of functionals of finite type I. J. of Symbolic Logic\u00a032, 198\u2013212 (1967)","journal-title":"J. of Symbolic Logic"},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"Tait, W.: A realizability interpretation of the theory of species, Logic Colloquium. Lecture Notes in Mathematics, vol. 453, pp. 240\u2013251 (1975)","DOI":"10.1007\/BFb0064875"},{"issue":"2","key":"19_CR32","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.-P.: Region-based memory management. Information and Computation\u00a0132(2), 109\u2013176 (1997)","journal-title":"Information and Computation"},{"key":"19_CR33","doi-asserted-by":"crossref","unstructured":"Welsh, M., Culler, D., Brewer, E.: SEDA: an architecture for well-conditioned, scalable internet services. In: SOSP 2001, pp. 230\u2013243 (2001)","DOI":"10.1145\/502059.502057"},{"issue":"1","key":"19_CR34","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. Wright","year":"1994","unstructured":"Wright, A., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"},{"issue":"2","key":"19_CR35","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.ic.2003.08.004","volume":"191","author":"N. Yoshida","year":"2004","unstructured":"Yoshida, N., Berger, M., Honda, K.: Strong normalisation in the \u03c0-calculus. Information and Computation\u00a0191(2), 145\u2013202 (2004)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2007 \u2013 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74407-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T01:10:37Z","timestamp":1558487437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74407-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540744061","9783540744078"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74407-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}