{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:04:22Z","timestamp":1786979062304,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642183775","type":"print"},{"value":"9783642183782","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-18378-2_15","type":"book-chapter","created":{"date-parts":[[2011,1,20]],"date-time":"2011-01-20T09:18:08Z","timestamp":1295515088000},"page":"175-189","source":"Crossref","is-referenced-by-count":29,"title":["The F# Asynchronous Programming Model"],"prefix":"10.1007","author":[{"given":"Don","family":"Syme","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tomas","family":"Petricek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dmitry","family":"Lomov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Baumann, A.: et\u00a0al.: The multikernel: a new OS architecture for scalable multicore systems. In: SOSP 2009: Proc. of the ACM SIGOPS 22nd Symp. on OS Principles (2009)","DOI":"10.1145\/1629575.1629579"},{"key":"15_CR3","unstructured":"von Behren, R., Condit, J., Brewer, E.: Why events are a bad idea (for high-concurrency servers). In: HOTOS 2003: Proc. of the 9th Conf. on Hot Topics in OS (2003)"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The ESTEREL synchronous programming language: design, semantics, implementation. Sci. Comput. Program.\u00a019(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"15_CR5","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1109\/TC.1978.1675100","volume":"27","author":"D.P. Friedman","year":"1978","unstructured":"Friedman, D.P., Wise, D.S.: Aspects of applicative programming for parallel processing. IEEE Trans. Computers\u00a027(4), 289\u2013296 (1978)","journal-title":"IEEE Trans. Computers"},{"issue":"2-3","key":"15_CR6","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P. Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: Unifying thread-based and event-based programming. Theor. Comput. Sci.\u00a0410(2-3), 202\u2013220 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-12251-4_22","volume-title":"Functional and Logic Programming","author":"O. Kiselyov","year":"2010","unstructured":"Kiselyov, O.: Delimited control in OCaml, abstractly and concretely. In: Blume, M., Kobayashi, N., Vidal, G. (eds.) FLOPS 2010. LNCS, vol.\u00a06009, pp. 304\u2013320. Springer, Heidelberg (2010)"},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/850657.850658","volume":"13","author":"H.C. Lauer","year":"1979","unstructured":"Lauer, H.C., Needham, R.M.: On the duality of operating system structures. SIGOPS Oper. Syst. Rev.\u00a013(2), 3\u201319 (1979)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"6","key":"15_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/1273442.1250756","volume":"42","author":"P. Li","year":"2007","unstructured":"Li, P., Zdancewic, S.: Combining events and threads for scalable network services implementation. SIGPLAN Not.\u00a042(6), 189\u2013199 (2007)","journal-title":"SIGPLAN Not."},{"key":"15_CR10","unstructured":"McNamara, B.: F# async on the server side (March 2010), http:\/\/tinyurl.com\/fsasyncserver (retrieved 5\/9\/2010)"},{"key":"15_CR11","volume-title":"SIGMOD 2006: Int. ACM Conf. on Mgmt. of Data","author":"E. Meijer","year":"2006","unstructured":"Meijer, E., Beckman, B., Bierman, G.: LINQ: reconciling object, relations and XML in the.NET framework. In: SIGMOD 2006: Int. ACM Conf. on Mgmt. of Data. ACM, New York (2006)"},{"key":"15_CR12","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala, Artima, USA (2008)"},{"key":"15_CR13","unstructured":"Petricek, T., Skeet, J.: Real World Functional Programming: With Examples in F# and C#. Manning, USA (2009)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Rompf, T., Maier, I., Odersky, M.: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. In: ICFP 2009: Proc. of the 14th ACM SIGPLAN Int. Conf. on Func. Prog. (2009)","DOI":"10.1145\/1596550.1596596"},{"key":"15_CR15","unstructured":"Srinivasan, S.: Kilim: A Server Framework with Lightweight Actors, Isolation Types & Zero-copy Messaging. Ph.D. thesis, University of Cambridge (2010)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-70592-5_6","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S. Srinivasan","year":"2008","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: Isolation-typed actors for java. In: Ryan, M. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 104\u2013128. Springer, Heidelberg (2008)"},{"key":"15_CR17","unstructured":"Syme, D.: F# 2.0 Language Specification, http:\/\/tinyurl.com\/fsspec"},{"key":"15_CR18","unstructured":"Syme, D.: Simplicity and compositionality in asynchronous programming through first class events (March 2006), http:\/\/tinyurl.com\/composingevents , (retrieved: January 2010)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Syme, D., Granicz, A., Cisternino, A.: Expert F#. Apress (2007)","DOI":"10.1007\/978-1-4302-0285-1"},{"key":"15_CR20","volume-title":"Concurrent programming in ERLANG","author":"R. Virding","year":"1996","unstructured":"Virding, R., et al.: Concurrent programming in ERLANG, 2nd edn. Prentice Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"15_CR21","unstructured":"Vouillon, J.: OCaml light weight threading library (2002), http:\/\/ocsigen.org\/lwt\/"},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.tcs.2008.04.037","volume":"402","author":"I. Wehrman","year":"2008","unstructured":"Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of Orc. Theor. Comput. Sci.\u00a0402, 234\u2013248 (2008)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18378-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T17:08:43Z","timestamp":1592240923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18378-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183775","9783642183782"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18378-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}