{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:23Z","timestamp":1725487103745},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666738"},{"type":"electronic","value":"9783540479598"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47959-7_6","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:48:46Z","timestamp":1184586526000},"page":"113-126","source":"Crossref","is-referenced-by-count":0,"title":["Derivatives: A Construct for Internet Programming"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"David F. Bacon and Robert E. Strom. Optimistic parallelization of communicating sequential processes. In Symposium on Principles and Practice of Parallel Programming, 1991.","DOI":"10.1145\/109625.109642"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"R. Rubenik and W. Zwanepoel. Semantics of optimistic computation. In International Conference on Distributed Computing Systems, pages 20\u201327, 1990.","DOI":"10.1109\/ICDCS.1990.89328"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Crispin Cowan and Hanan Lutfiyya. Formal semantics for expressing optimism. In Proceedings of ACM Symposium on Principles of Distributed Computing, 1995.","DOI":"10.1145\/224964.224983"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01491213","volume":"18","author":"A. Giacalone","year":"1996","unstructured":"Alessandro Giacalone, Prateek Mishra, and Sanjiva Prasad. Facile: A symmetric integration of concurrent and functional programming. International Journal of Parallel Programming, 18(2):121\u2013160, 1996","journal-title":"International Journal of Parallel Programming"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"J. Gray, P. Helland, P. O\u2019Neil, and D. Shasha. The dangers of replication and a solution. In Proceedings of the 1996 SIGMOD Conference, 1996.","DOI":"10.1145\/233269.233330"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead","year":"1985","unstructured":"Robert Halstead. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501\u2013537, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D. Jefferson","year":"1985","unstructured":"David Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404\u2013420, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"A. Joseph, A. F. deLespinasse, J. A. Tauber, D. K. Gifford and F. Kaashoek. Rover: A toolkit for mobile information access. In Symposium on Operating Systems Principles, 1995.","DOI":"10.1145\/224056.224069"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Morry Katz and Daniel Weise. Continuing into the future: On the interaction of futures and first-class continuations. In Proceedings of ACM Symposium on Lisp and Functional Programming, pages 176\u2013184. ACM Press, 1990.","DOI":"10.1145\/91556.91628"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/146941.146942","volume":"10","author":"J. J. Kistler","year":"1992","unstructured":"J. J. Kistler and M. Satyanarayanan. Disconnected operation in the Coda file system. ACM Transactions on Computer Systems, 10:3\u201325, 1992.","journal-title":"ACM Transactions on Computer Systems"},{"key":"6_CR11","unstructured":"B. Liskov and L. Shrira. Promises: Linguistic support for efficient asynchronous procedure calls in distributed systems. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, 1998."},{"key":"6_CR12","unstructured":"James S. Miller. MultiScheme: A Parallel Processing System Based on MIT Scheme. PhD thesis. MIT, 1987."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Luc Moreau. The semantics of Scheme with future. In Proceedings of ACM International Conference on Functional Programming, pages 146\u2013156. ACM Press, 1996.","DOI":"10.1145\/232627.232644"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Hanne Riis Nielson and Flemming Nielson. Higher-order concurrent programs with finite communication topology. In Proceedings of ACM Symposium on Principles of Programming Languages, 84\u201397. ACM Press, 1994.","DOI":"10.1145\/174675.174538"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1145\/3959.3962","volume":"3","author":"R. E. Strom","year":"1985","unstructured":"R. E. Strom and S. Yemini. Optimistic recovery in distributed systems. ACM Transactions on Computer Systems, 3(3):204\u2013226, 1985.","journal-title":"ACM Transactions on Computer Systems"}],"container-title":["Lecture Notes in Computer Science","Internet Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47959-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:05:39Z","timestamp":1556665539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47959-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666738","9783540479598"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-47959-7_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}