{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:47:49Z","timestamp":1754484469762,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319689715"},{"type":"electronic","value":"9783319689722"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68972-2_12","type":"book-chapter","created":{"date-parts":[[2017,10,10]],"date-time":"2017-10-10T01:42:41Z","timestamp":1507599761000},"page":"180-195","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Quality-Aware Reactive Programming for the Internet of Things"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Baquero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Meyerovich, L.A., Guha, A., Baskin, J.P., Cooper, G.H., Greenberg, M., Bromfield, A., Krishnamurthi, S.: Flapjax: a programming language for Ajax applications. In: OOPSLA, , pp. 1\u201320. ACM (2009)","DOI":"10.1145\/1639949.1640091"},{"key":"12_CR2","unstructured":"Czaplicki, E.: Elm: Concurrent FRP for functional GUIs, Master\u2019s thesis. Harvard (2012)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-1-4842-1245-5","volume-title":"Introduction to React","author":"C Gackenheimer","year":"2015","unstructured":"Gackenheimer, C.: What is react? Introduction to React, pp. 1\u201320. Apress, Berkeley (2015). doi:10.1007\/978-1-4842-1245-5_1"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Reynders, B., Devriese, D., Piessens, F.: Multi-tier functional reactive programming for the web. In: Onward!, pp. 55\u201368. ACM (2014)","DOI":"10.1145\/2661136.2661140"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Drechsler, J., Salvaneschi, G., Mogk, R., Mezini, M.: Distributed rescala: an update algorithm for distributed reactive programming. In: OOPSLA, pp. 361\u2013376. ACM (2014)","DOI":"10.1145\/2714064.2660240"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Margara, A., Salvaneschi, G.: We have a DREAM: distributed reactive programming with consistency guarantees. In: DEBS, pp. 142\u2013153. ACM (2014)","DOI":"10.1145\/2611286.2611290"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Salvaneschi, G., Margara, A., Tamburrelli, G.: Reactive programming: a walkthrough. In: ICSE, vol. 2, pp. 953\u2013954. IEEE Computer Society (2015)","DOI":"10.1109\/ICSE.2015.303"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"52:1","DOI":"10.1145\/2501654.2501666","volume":"45","author":"E Bainomugisha","year":"2013","unstructured":"Bainomugisha, E., Carreton, A.L., Cutsem, T.V., Mostinckx, S., Meuter, W.D.: A survey on reactive programming. ACM Comput. Surv. 45(4), 52:1\u201352:34 (2013)","journal-title":"ACM Comput. Surv."},{"issue":"9","key":"12_CR9","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/2643130","volume":"57","author":"P Bailis","year":"2014","unstructured":"Bailis, P., Kingsbury, K.: The network is reliable. Commun. ACM 57(9), 48\u201355 (2014)","journal-title":"Commun. ACM"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Hughes, D., Thoelen, K., Maerien, J., Matthys, N., Del Cid, J., Horre, W., Huygens, C., Michiels, S., Joosen, W.: LooCI: the loosely-coupled component infrastructure. In: Proceeding of NCA, pp. 236\u2013243 (2012)","DOI":"10.1109\/NCA.2012.30"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-24550-3_29","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"M Shapiro","year":"2011","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: D\u00e9fago, X., Petit, F., Villain, V. (eds.) SSS 2011. LNCS, vol. 6976, pp. 386\u2013400. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-24550-3_29"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Drechsler, J., Salvaneschi, G.: Optimizing distributed REScala. In: Workshop on Reactive and Event-based Languages & Systems (REBLS) (2014)","DOI":"10.1145\/2660193.2660240"},{"key":"12_CR14","unstructured":"Maier, I., Odersky, M.: Deprecating the observer pattern with scala. React, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Technical report EPFL-REPORT-176887, May 2012"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Salvaneschi, G., Hintz, G., Mezini, M.: REScala: bridging between object-oriented and functional style in reactive applications. In: Proceedings of the 13th International Conference on Modularity, pp. 25\u201336. ACM (2014)","DOI":"10.1145\/2577080.2577083"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-45241-9_3","volume-title":"Practical Aspects of Declarative Languages","author":"A Courtney","year":"2001","unstructured":"Courtney, A.: Frapp\u00e9: functional reactive programming in java. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 29\u201344. Springer, Heidelberg (2001). doi:10.1007\/3-540-45241-9_3"},{"key":"12_CR17","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. 6141, pp. 41\u201360. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-13953-6_3"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Lanese, I., Bedogni, L., Felice, M.D.: Internet of Things: a process calculus approach. In: SAC, pp. 1339\u20131346. ACM (2013)","DOI":"10.1145\/2480362.2480615"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-319-39519-7_10","volume-title":"Coordination Models and Languages","author":"R Lanotte","year":"2016","unstructured":"Lanotte, R., Merro, M.: A semantic theory of the Internet of Things. In: Lluch Lafuente, A., Proen\u00e7a, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 157\u2013174. Springer, Cham (2016). doi:10.1007\/978-3-319-39519-7_10"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68972-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T01:57:45Z","timestamp":1633917465000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68972-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319689715","9783319689722"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68972-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"11 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Teheran","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iran","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}