{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:24Z","timestamp":1725490224156},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540745099"},{"type":"electronic","value":"9783540745105"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-74510-5_7","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T11:11:35Z","timestamp":1187694695000},"page":"33-43","source":"Crossref","is-referenced-by-count":2,"title":["Timers and Proximities for Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/978-3-662-04401-8_1","volume-title":"Coordination of Internet Agents: Models, Technologies, and Applications","author":"N. Busi","year":"2001","unstructured":"Busi, N., Ciancarini, P., Gorrieri, R., Zavattaro, G.: Coordination Models: A Guided Tour. In: Coordination of Internet Agents: Models, Technologies, and Applications, pp. 6\u201324. Springer, Heidelberg (2001)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"7_CR3","unstructured":"Ciobanu, G.: Interaction in time and space. In: Proceedings of Foundations of Interactive Computation. Electronic Notes in Theoretical Computer Science, pp. 45\u201361 (to appear, 2007)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Ciobanu, G., Prisacariu, C.: Timers for Distributed Systems. In: di Pierro, A., Wiklicky, H. (eds.) Quantitative Aspects of Programming Languages. Electronic Notes in Theoretical Computer Science, vol.\u00a0164(3), pp. 81\u201399 (2006)","DOI":"10.1016\/j.entcs.2006.07.013"},{"key":"7_CR5","unstructured":"Ciobanu, G., Prisacariu, C.: Coordination by Timers for Channel-Based Anonymous Communications. In: Foundations of Coordination Languages and Software Architectures (FOCLASA), pp. 1\u201319 (to appear in ENTCS)"},{"key":"7_CR6","volume-title":"Communicating and Mobile Systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-662-04401-8_2","volume-title":"Coordination of Internet Agents: Models, Technologies, and Applications","author":"G.A. Papadopoulos","year":"2001","unstructured":"Papadopoulos, G.A.: Models and Technologies for the Coordination of Internet Agents: A Survey. In: Coordination of Internet Agents: Models, Technologies, and Applications, pp. 25\u201356. Springer, Heidelberg (2001)"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume":"46","author":"G.A. Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination Models and Languages. Advances in Computers\u00a046, 329\u2013400 (1998)","journal-title":"Advances in Computers"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-45694-5_20","volume-title":"CONCUR 2002 - Concurrency Theory","author":"D. Teller","year":"2002","unstructured":"Teller, D., Zimmer, P., Hirschkoff, D.: Using Ambients to Control Resources. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 288\u2013303. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74510-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T21:13:04Z","timestamp":1558473184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74510-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540745099","9783540745105"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74510-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}