{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:37Z","timestamp":1745986777049,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360701"},{"type":"electronic","value":"9783642360718"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36071-8_17","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T01:12:34Z","timestamp":1357780354000},"page":"220-231","source":"Crossref","is-referenced-by-count":0,"title":["Consistent Coordination Decoupling in Tuple Space Based Mobile Middleware: Design and Formal Specifications"],"prefix":"10.1007","author":[{"given":"Suddhasil","family":"De","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diganta","family":"Goswami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sukumar","family":"Nandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","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. Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Cabri, G., Ferrari, L., Leonardi, L., Mamei, M., Zambonelli, F.: Uncoupling Coordination: Tuple-Based Models for Mobility. In: Bellavista, P., Corradi, A. (eds.) The Handbook of Mobile Middleware, pp. 229\u2013255. Auerbach Pub. (2007)","DOI":"10.1201\/9781420013153.ch10"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"De, S., Nandi, S., Goswami, D.: Architectures of Mobile Middleware: A Taxonomic Perspective. In: Proc. 2nd IEEE Intl. Conf. on Parallel, Distributed and Grid Computing (PDGC 2012) (December 2012)","DOI":"10.1109\/PDGC.2012.6449868"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/3-540-58430-7_51","volume-title":"Parallel Processing: CONPAR 94 - VAPP VI","author":"M.D. Feng","year":"1994","unstructured":"Feng, M.D., Gao, Y.Q., Yuen, C.K.: Distributed Linda Tuplespace Algorithms and Implementations. In: Buchberger, B., Volkert, J. (eds.) CONPAR 1994 and VAPP 1994. LNCS, vol.\u00a0854, pp. 581\u2013592. Springer, Heidelberg (1994)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Chiba, S., Kato, K., Masuda, T.: Exploiting a Weak Consistency to Implement Distributed Tuple Space. In: Proc. 12th Intl. Conf. on Distributed Computing Systems (ICDCS 1992), pp. 416\u2013423 (June 1992)","DOI":"10.1109\/ICDCS.1992.235013"},{"key":"17_CR6","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, 251\u2013269 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"4","key":"17_CR7","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. Internet Computing\u00a04(4), 26\u201335 (2000)","journal-title":"Internet Computing"},{"issue":"3","key":"17_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"A.L. Murphy","year":"2006","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.C.: Lime: A Coordination Model and Middleware supporting Mobility of Hosts and Agents. Transactions on Software Engineering and Methodology\u00a015(3), 279\u2013328 (2006)","journal-title":"Transactions on Software Engineering and Methodology"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Mamei, M., Zambonelli, F., Leonardi, L.: Tuples On The Air: a Middleware for Context-Aware Computing in Dynamic Networks. In: Proc. 23rd Conf. on Distributed Computing Systems Workshops (ICDCSW 2003), pp. 342\u2013347 (May 2003)","DOI":"10.1109\/ICDCSW.2003.1203577"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-24634-3_12","volume-title":"Coordination Models and Languages","author":"C.L. Fok","year":"2004","unstructured":"Fok, C.L., Roman, G.C., Hackmann, G.: A Lightweight Coordination Middleware for Mobile Computing. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 135\u2013151. Springer, Heidelberg (2004)"},{"issue":"5","key":"17_CR11","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1109\/TSE.2006.47","volume":"32","author":"C. Julien","year":"2006","unstructured":"Julien, C., Roman, G.C.: EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. Transactions on Software Engineering\u00a032(5), 281\u2013298 (2006)","journal-title":"Transactions on Software Engineering"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"De, S., Nandi, S., Goswami, D.: Modeling an Enhanced Tuple Space based Mobile Middleware in UNITY. In: Proc. 11th IEEE Intl. Conf. on Ubiquitous Computing and Communications (IUCC 2012), pp. 1684\u20131691 (June 2012)","DOI":"10.1109\/TrustCom.2012.205"},{"issue":"3","key":"17_CR13","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/258077.258079","volume":"6","author":"G.C. Roman","year":"1997","unstructured":"Roman, G.C., McCann, P.J., Plun, J.Y.: Mobile UNITY: Reasoning and Specification in Mobile Computing. Transactions on Software Engineering and Methodology\u00a06(3), 250\u2013282 (1997)","journal-title":"Transactions on Software Engineering and Methodology"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"De, S., Goswami, D., Nandi, S., Chakraborty, S.: Formalization of a Fully-Decoupled Reactive Tuple Space model for Mobile Middleware. In: Proc. 5th Intl. Conf. on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MOBILWARE 2012) (November 2012)","DOI":"10.1007\/978-3-642-36660-4_6"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"De, S., Chakraborty, S., Goswami, D., Nandi, S.: Formalization of Discovery and Communication Mechanisms of Tuple Space Based Mobile Middleware for Underlying Unreliable Infrastructure. In: Proc. 2nd IEEE Intl. Conf. on Parallel, Distributed and Grid Computing (PDGC 2012) (December 2012)","DOI":"10.1109\/PDGC.2012.6449885"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"De, S., Nandi, S., Goswami, D.: On Performance Improvement Issues in Unordered Tuple Space based Mobile Middleware. In: Proc. 2010 Annual IEEE India Conference (INDICON 2010) (December 2010)","DOI":"10.1109\/INDCON.2010.5712740"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"De, S., Goswami, D., Nandi, S.: A New Tuple Space Structure for Tuple Space based Mobile Middleware Platforms. In: Proc. 2012 Annual IEEE India Conference (INDICON 2012) (December 2012)","DOI":"10.1109\/INDCON.2012.6420708"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36071-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:44:16Z","timestamp":1745945056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36071-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360701","9783642360718"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36071-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}