{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T10:57:37Z","timestamp":1772881057680,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642214363","type":"print"},{"value":"9783642214370","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_23","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T07:33:16Z","timestamp":1308382396000},"page":"293-307","source":"Crossref","is-referenced-by-count":13,"title":["Timed Migration and Interaction with Access Permissions"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Ciobanu","sequence":"first","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","first-page":"3","volume":"192","author":"D. Ancona","year":"2008","unstructured":"Ancona, D., Fagorzi, S., Zucca, E.: A Parametric Calculus for Mobile Open Code. ENTCS\u00a0192, 3\u201322 (2008)","journal-title":"ENTCS"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1997-291203","volume":"29","author":"J. Baeten","year":"1997","unstructured":"Baeten, J., Bergstra, J.A.: Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time. Fundamenta Informaticae\u00a029, 51\u201376 (1997)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR3","unstructured":"Berger, M.: Towards Abstractions For Distributed Systems Imperial College, Department of Computing (2002)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-40042-4_4","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Bettini","year":"2003","unstructured":"Bettini, L., Kannan, R., De Nicola, R., Ferrari, G.-L., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The klaim project: Theory and practice. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 88\u2013150. Springer, Heidelberg (2003)"},{"key":"23_CR5","first-page":"251","volume-title":"Proc. of POPL","author":"M. Bugliesi","year":"2007","unstructured":"Bugliesi, M., Giunti, M.: Secure Implementations of Typed Channel Abstractions. In: Proc. of POPL, pp. 251\u2013262. ACM, New York (2007)"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.ic.2004.08.003","volume":"196","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.: Secrecy and Group Creation. Inf. Comput.\u00a0196, 127\u2013155 (2005)","journal-title":"Inf. Comput."},{"key":"23_CR7","first-page":"170","volume-title":"Proc. of CSFW 2003","author":"T. Chothia","year":"2003","unstructured":"Chothia, T., Duggan, D., Vitek, J.: Type-based Distributed Access Control. In: Proc. of CSFW 2003, pp. 170\u2013184. IEEE Computer Society, Los Alamitos (2003)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-78743-3_16","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Ciobanu","year":"2008","unstructured":"Ciobanu, G., Koutny, M.: Modelling and verification of timed interaction and migration. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 215\u2013229. Springer, Heidelberg (2008)"},{"key":"23_CR9","unstructured":"Ciobanu, G., Koutny, M.: TiMoTy: Timed Mobility with Types of Formal Methods Laboratory Romanian Academy, Institute of Computer Science, Iasi (2010)"},{"key":"23_CR10","first-page":"81","volume":"164","author":"G. Ciobanu","year":"2006","unstructured":"Ciobanu, G., Prisacariu, C.: Timers for Distributed Systems. ENTCS\u00a0164, 81\u201399 (2006)","journal-title":"ENTCS"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00375-3","volume":"269","author":"F. Corradini","year":"2001","unstructured":"Corradini, F., Ferrari, G.L., Pistore, M.: On the Semantics of Durational Actions. Theoretical Computer Science\u00a0269, 47\u201382 (2001)","journal-title":"Theoretical Computer Science"},{"key":"23_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611063","volume-title":"A Distributed \u03c0-calculus","author":"M. Hennessy","year":"2007","unstructured":"Hennessy, M.: A Distributed \u03c0-calculus. Cambridge University Press, Cambridge (2007)"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource Access Control in Systems of Mobile Agents. Information and Computation\u00a0173, 82\u2013120 (2002)","journal-title":"Information and Computation"},{"key":"23_CR14","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":"23_CR15","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1017\/S0956796807006442","volume":"17","author":"P. Sewell","year":"2007","unstructured":"Sewell, P., et al.: Acute: High-Level Programming Language Design for Distributed Computation. Journal of Functional Programming\u00a017, 547\u2013612 (2007)","journal-title":"Journal of Functional Programming"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/262009.262010","volume":"29","author":"T. Thorn","year":"1997","unstructured":"Thorn, T.: Programming Languages for Mobile Code. ACM Computing Surveys\u00a029, 213\u2013239 (1997)","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,20]],"date-time":"2020-06-20T10:04:35Z","timestamp":1592647475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}