{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:18:31Z","timestamp":1777299511114,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642308284","type":"print"},{"value":"9783642308291","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30829-1_15","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T12:19:10Z","timestamp":1339157950000},"page":"212-229","source":"Crossref","is-referenced-by-count":22,"title":["Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments"],"prefix":"10.1007","author":[{"given":"Mirko","family":"Viroli","sequence":"first","affiliation":[]},{"given":"Danilo","family":"Pianini","sequence":"additional","affiliation":[]},{"given":"Jacob","family":"Beal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Bachrach, J., Beal, J., Fujiwara, T.: Continuous space-time semantics allow adaptive program execution. In: IEEE SASO 2007, New York, pp. 315\u2013319. IEEE (July 2007)","DOI":"10.1109\/SASO.2007.14"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Beal, J.: Flexible self-healing gradients. In: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC, pp. 1197\u20131201. ACM (2009)","DOI":"10.1145\/1529282.1529550"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Beal, J.: A basis set of operators for space-time computations. In: Self-Adaptive and Self-Organizing Systems Workshop (SASOW 2010), pp. 91\u201397 (September 2010)","DOI":"10.1109\/SASOW.2010.21"},{"issue":"2","key":"15_CR4","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(2), 10\u201319 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"15_CR5","unstructured":"Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: Languages for spatial computing. CoRR, abs\/1202.5509 (2012)"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1968513.1968514","volume":"6","author":"J. Beal","year":"2011","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\u00a06, 11:1\u201311:3 (2011)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"issue":"14","key":"15_CR7","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., Nicola, R.D., Pugliese, R.: Klava: a java package for distributed and mobile applications. Softw., Pract. Exper.\u00a032(14), 1365\u20131394 (2002)","journal-title":"Softw., Pract. Exper."},{"issue":"1-2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1006\/inco.1999.2823","volume":"156","author":"N. Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the expressiveness of Linda coordination primitives. Inf. Comput.\u00a0156(1-2), 90\u2013121 (2000)","journal-title":"Inf. Comput."},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/4236.865084","volume":"4","author":"G. Cabri","year":"2000","unstructured":"Cabri, G., Leonardi, L., Zambonelli, F.: MARS: A programmable coordination architecture for mobile agents. IEEE Internet Computing\u00a04(4), 26\u201335 (2000)","journal-title":"IEEE Internet Computing"},{"key":"15_CR10","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane Calculi. Interactions of Biological Membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-13962-8_9","volume-title":"Programs, Proofs, Processes","author":"L. Cardelli","year":"2010","unstructured":"Cardelli, L., Gardner, P.: Processes in Space. In: Ferreira, F., L\u00f6we, B., Mayordomo, E., Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol.\u00a06158, pp. 78\u201387. Springer, Heidelberg (2010)"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Couderc, P., Banatre, M.: Ambient computing applications: an experience with the spread approach. Hawaii International Conference on System Sciences, HICSS 2003 (January 2003)","DOI":"10.1109\/HICSS.2003.1174830"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Fernandez-Marquez, J.L., Di Marzo Serugendo, G., Montagna, S., Viroli, M., Arcos, J.L.: Self-organising design patterns. Natural Computing (to appear, 2012)","DOI":"10.1007\/978-3-642-17348-6_2"},{"key":"15_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-540-75254-7_13","volume-title":"Multi-Agent Systems and Applications V","author":"L. Gardelli","year":"2007","unstructured":"Gardelli, L., Viroli, M., Omicini, A.: Design Patterns for Self-organising Systems. In: Burkhard, H.-D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.) CEEMAS 2007. LNCS (LNAI), vol.\u00a04696, pp. 123\u2013132. Springer, Heidelberg (2007)"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst.\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1538942.1538945","volume":"18","author":"M. Mamei","year":"2009","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: The tota approach. ACM Trans. Softw. Eng. Methodol.\u00a018(4), 1\u201356 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"5","key":"15_CR18","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R.D. Nicola","year":"1998","unstructured":"Nicola, R.D., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng.\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2-3","key":"15_CR19","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s00200-005-0174-z","volume":"16","author":"A. Omicini","year":"2005","unstructured":"Omicini, A., Ricci, A., Viroli, M.: An algebraic approach for modelling organisation, roles and contexts in MAS. Applicable Algebra in Engineering, Communication and Computing\u00a016(2-3), 151\u2013178 (2005)","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"key":"15_CR20","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/11738817_5","volume-title":"Software Engineering for Multi-Agent Systems IV","author":"A. Omicini","year":"2006","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research. In: Garcia, A., Choren, R., Lucena, C., Giorgini, P., Holvoet, T., Romanovsky, A. (eds.) SELMAS 2005. LNCS(LNAI), vol.\u00a03914, pp. 71\u201390. Springer, Heidelberg (2006)"},{"issue":"1","key":"15_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/S026988891000041X","volume":"26","author":"A. Omicini","year":"2011","unstructured":"Omicini, A., Viroli, M.: Coordination models and languages: From parallel computing to self-organisation. The Knowledge Engineering Review\u00a026(1), 53\u201359 (2011); Special Issue 01 (25th Anniversary Issue).","journal-title":"The Knowledge Engineering Review"},{"issue":"3","key":"15_CR22","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems\u00a02(3), 251\u2013269 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"15_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing: An Introduction","author":"G. Paun","year":"2002","unstructured":"Paun, G.: Membrane Computing: An Introduction. Springer-Verlag New York, Inc., New York (2002)"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Pauty, J., Couderc, P., Banatre, M., Berbers, Y.: Geo-linda: a geometry aware distributed tuple space. In: IEEE 21st International Conference on Advanced Networking and Applications (AINA 2007), pp. 370\u2013377 (May 2007)","DOI":"10.1109\/AINA.2007.74"},{"key":"15_CR25","unstructured":"Pianini, D., Montagna, S., Viroli, M.: A chemical inspired simulation framework for pervasive services ecosystems. In: Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 667\u2013674. IEEE Computer Society Press (2011)"},{"issue":"6","key":"15_CR26","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.scico.2009.07.008","volume":"75","author":"A. Singh","year":"2010","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile ad hoc networks. Sci. Comput. Program.\u00a075(6), 440\u2013469 (2010)","journal-title":"Sci. Comput. Program."},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Viroli, M., Beal, J., Casadei, M.: Core operational semantics of Proto. In: 26th Annual ACM Symposium on Applied Computing, SAC 2011, Tunghai University, TaiChung, Taiwan, March 21-25. ACM (2011)","DOI":"10.1145\/1982185.1982472"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-02053-7_8","volume-title":"Coordination Models and Languages","author":"M. Viroli","year":"2009","unstructured":"Viroli, M., Casadei, M.: Biochemical Tuple Spaces for Self-organising Coordination. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 143\u2013162. Springer, Heidelberg (2009)"},{"issue":"2","key":"15_CR29","doi-asserted-by":"publisher","first-page":"1","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. ACM Transactions on Autonomous and Adaptive Systems\u00a06(2), 14:1\u201314:24 (2011)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Viroli, M., Pianini, D., Montagna, S., Stevenson, G.: Pervasive ecosystems: a coordination model based on semantic chemistry. In: Ossowski, S., Lecca, P., Hung, C.-C., Hong, J. (eds.) 27th Annual ACM Symposium on Applied Computing, SAC 2012, Riva del Garda, TN, Italy, March 26-30. ACM (2012)","DOI":"10.1145\/2245276.2245336"}],"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-30829-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:31:22Z","timestamp":1620127882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30829-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308284","9783642308291"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30829-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}