{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:06Z","timestamp":1762459266063,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192819"},{"type":"electronic","value":"9783319192826"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-19282-6_7","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T07:05:56Z","timestamp":1430291156000},"page":"101-116","source":"Crossref","is-referenced-by-count":2,"title":["A Fixpoint-Based Calculus for Graph-Shaped Computational Fields"],"prefix":"10.1007","author":[{"given":"Alberto Lluch","family":"Lafuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MIS.2006.29","volume":"21","author":"J. Beal","year":"2006","unstructured":"Beal, J., Bachrach, J.: Infrastructure for engineered emergence on sensor\/actuator networks. IEEE Intelligent Systems\u00a021, 10\u201319 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Beal, J., Michel, O., Schultz, U.P.: Spatial computing: Distributed systems that take advantage of our geometric world. ACM Transactions on Autonomous and Adaptive Systems 6, 11:1\u201311:3 (2011)","DOI":"10.1145\/1968513.1968514"},{"key":"7_CR3","unstructured":"Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: Languages for spatial computing. CoRR, abs\/1202.5509 (2012)"},{"issue":"2","key":"7_CR4","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\u00a044(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"7_CR5","series-title":"Communications in Computer and Information Science","volume-title":"Advances in Service-Oriented and Cloud Computing","year":"2013","unstructured":"Canal, C., Villari, M. (eds.): ESOCC 2013. Communications in Computer and Information Science, vol.\u00a0393. Springer, Heidelberg (2013)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Coordination Models and Languages","year":"2014","unstructured":"K\u00fchn, E., Pugliese, R. (eds.): COORDINATION 2014. LNCS, vol.\u00a08459. Springer, Heidelberg (2014)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Bio-Inspired Computing and Communication","year":"2008","unstructured":"Li\u00f2, P., Yoneki, E., Crowcroft, J., Verma, D.C. (eds.): BIOWIRE 2007. LNCS, vol.\u00a05151. Springer, Heidelberg (2008)"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.tcs.2005.08.006","volume":"346","author":"A. Lluch-Lafuente","year":"2005","unstructured":"Lluch-Lafuente, A., Montanari, U.: Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci.\u00a0346(1), 135\u2013160 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: The TOTA approach. ACM Transactions on Software Engingeering and Methodology 18, 15:1\u201315:56 (2009)","DOI":"10.1145\/1538942.1538945"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Mamei, M., Zambonelli, F.: Field-based coordination for pervasive computing applications. In: Li\u00f2 et al (eds.) [7], pp. 376\u2013386","DOI":"10.1007\/978-3-540-92191-2_33"},{"issue":"3","key":"7_CR11","first-page":"398","volume":"18","author":"S. Montagna","year":"2013","unstructured":"Montagna, S., Viroli, M., Fernandez-Marquez, J.L., Di Marzo Serugendo, G., Zambonelli, F.: Injecting self-organisation into pervasive service ecosystems. MONET\u00a018(3), 398\u2013412 (2013)","journal-title":"MONET"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications: An Appetizer. Undergraduate Topics in Computer Science. Springer (2007)","DOI":"10.1007\/978-1-84628-692-6"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1968513.1968517","volume":"6","author":"M. Viroli","year":"2011","unstructured":"Viroli, M., Casadei, M., Montagna, S., Zambonelli, F.: Spatial coordination of pervasive services through chemical-inspired tuple spaces. TAAS\u00a06(2), 14 (2011)","journal-title":"TAAS"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Viroli, M., Damiani, F.: A calculus of self-stabilising computational fields. In: K\u00fchn, E., Pugliese (eds.) [6], pp. 163\u2013178","DOI":"10.1007\/978-3-662-43376-8_11"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Viroli, M., Damiani, F., Beal, J.: A calculus of computational fields. In: Canal, Villari (eds.) [5], pp. 114\u2013128","DOI":"10.1007\/978-3-642-45364-9_11"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19282-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:59:37Z","timestamp":1559156377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19282-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192819","9783319192826"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19282-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}