{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T01:18:25Z","timestamp":1794446305453,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642384929","type":"print"},{"value":"9783642384936","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38493-6_16","type":"book-chapter","created":{"date-parts":[[2013,5,9]],"date-time":"2013-05-09T20:45:06Z","timestamp":1368132306000},"page":"226-235","source":"Crossref","is-referenced-by-count":18,"title":["Towards Distributed Reactive Programming"],"prefix":"10.1007","author":[{"given":"Guido","family":"Salvaneschi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joscha","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Acar, U.A., Ahmed, A., Blume, M.: Imperative self-adjusting computation. In: POPL 2008, pp. 309\u2013322. ACM (2008)","DOI":"10.1145\/1328897.1328476"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bainomugisha, E., Lombide Carreton, A., Van Cutsem, T., Mostinckx, S., De Meuter, W.: A survey on reactive programming. In: ACM Comput. Surv. (2013) (To appear)","DOI":"10.1145\/2501654.2501666"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in bip. In: Fourth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006, pp. 3\u201312. IEEE (2006)","DOI":"10.1109\/SEFM.2006.27"},{"issue":"2","key":"16_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. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/1345206.1345242","volume-title":"Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2008","author":"R.L. Bocchino","year":"2008","unstructured":"Bocchino, R.L., Adve, V.S., Chamberlain, B.L.: Software transactional memory for large scale clusters. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2008, pp. 247\u2013258. ACM, New York (2008)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. In: Distributed Computing, pp. 1\u201327 (2012)","DOI":"10.1007\/s00446-012-0168-6"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/11693024_20","volume-title":"Programming Languages and Systems","author":"G.H. Cooper","year":"2006","unstructured":"Cooper, G.H., Adsul, B.: Embedding dynamic dataflow in a call-by-value language. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 294\u2013308. Springer, Heidelberg (2006)"},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P.T. Eugster","year":"2003","unstructured":"Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish\/subscribe. ACM Comput. Surv.\u00a035(2), 114\u2013131 (2003)","journal-title":"ACM Comput. Surv."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Gasiunas, V., Satabin, L., Mezini, M., N\u00fa\u00f1ez, A., Noy\u00e9, J.: EScala: modular event-driven object interactions in Scala. In: AOSD 2011, pp. 227\u2013240. ACM (2011)","DOI":"10.1145\/1960275.1960303"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_15","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Gautier","year":"1987","unstructured":"Gautier, T., Le Guernic, P., Besnard, L.: SIGNAL: A declarative language for synchronous programming of real-time systems. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol.\u00a0274, Springer, Heidelberg (1987)"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10009-008-0097-7","volume":"11","author":"C. Georgiou","year":"2009","unstructured":"Georgiou, C., Lynch, N., Mavrommatis, P., Tauber, J.A.: Automated implementation of complex distributed algorithms specified in the ioa language. International Journal on Software Tools for Technology Transfer (STTT)\u00a011(2), 153\u2013171 (2009)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-13953-6_3","volume-title":"Objects, Models, Components, Patterns","author":"A. Lombide Carreton","year":"2010","unstructured":"Lombide Carreton, A., Mostinckx, S., Van Cutsem, T., De Meuter, W.: Loosely-coupled distributed reactive programming in mobile ad hoc networks. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol.\u00a06141, pp. 41\u201360. Springer, Heidelberg (2010)"},{"key":"16_CR13","unstructured":"Maier, I., Odersky, M.: Deprecating the Observer Pattern with Scala.react. Technical report (2012)"},{"key":"16_CR14","first-page":"359","volume-title":"Proceedings of the 5th ACM International Conference on Distributed Event-Based System, DEBS 2011","author":"A. Margara","year":"2011","unstructured":"Margara, A., Cugola, G.: Processing flows of information: from data stream to complex event processing. In: Proceedings of the 5th ACM International Conference on Distributed Event-Based System, DEBS 2011, pp. 359\u2013360. ACM, New York (2011)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Meyerovich, L.A., Guha, A., Baskin, J., Cooper, G.H., Greenberg, M., Bromfield, A., Krishnamurthi, S.: Flapjax: a programming language for ajax applications. In: OOPSLA 2009, pp. 1\u201320. ACM (2009)","DOI":"10.1145\/1639949.1640091"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-70592-5_8","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"H. Rajan","year":"2008","unstructured":"Rajan, H., Leavens, G.T.: Ptolemy: A language with quantified, typed events. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 155\u2013179. Springer, Heidelberg (2008)"},{"issue":"2","key":"16_CR17","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s004460050028","volume":"10","author":"N. Shavit","year":"1997","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. Distributed Computing\u00a010(2), 99\u2013116 (1997)","journal-title":"Distributed Computing"},{"key":"16_CR18","volume-title":"Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery","author":"G. Weikum","year":"2001","unstructured":"Weikum, G., Vossen, G.: Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery. Morgan Kaufmann Publishers Inc., San Francisco (2001)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38493-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T05:25:41Z","timestamp":1745990741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38493-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642384929","9783642384936"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6_16","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}