{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:54:03Z","timestamp":1743029643988,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194578"},{"type":"electronic","value":"9783319194585"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19458-5_10","type":"book-chapter","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T11:41:14Z","timestamp":1431344474000},"page":"146-161","source":"Crossref","is-referenced-by-count":2,"title":["Timed Mobility and Timed Communication for Critical Systems"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-40561-7_3","volume-title":"Software Engineering and Formal Methods","author":"B. Aman","year":"2013","unstructured":"Aman, B., Ciobanu, G.: Real-Time Migration Properties of rTiMo Verified in Uppaal. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol.\u00a08137, pp. 31\u201345. Springer, Heidelberg (2013)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-30793-5_4","volume-title":"Formal Techniques for Distributed Systems","author":"B. Aman","year":"2012","unstructured":"Aman, B., Ciobanu, G., Koutny, M.: Behavioural Equivalences over Migrating Processes with Timers. In: Giese, H., Rosu, G. (eds.) FORTE 2012 and FMOODS 2012. LNCS, vol.\u00a07273, pp. 52\u201366. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing. In: Monographs in Theoretical Computer Science, An EATCS Series. Springer, Berlin (2002)","key":"10_CR3","DOI":"10.1007\/978-3-662-04995-2"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-89437-7_13","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"G. Ciobanu","year":"2008","unstructured":"Ciobanu, G.: Behaviour Equivalences in Timed Distributed \u03c0-Calculus. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Software Intensive Systems. LNCS, vol.\u00a05380, pp. 190\u2013208. Springer, Heidelberg (2008)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1002\/cpe.1854","volume":"24","author":"G. Ciobanu","year":"2012","unstructured":"Ciobanu, G., Juravle, C.: Flexible Software Architecture and Language for Mobile Agents. Concurrency and Computation: Practice and Experience\u00a024, 559\u2013571 (2012)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"10_CR6","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":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-21437-0_23","volume-title":"FM 2011: Formal Methods","author":"G. Ciobanu","year":"2011","unstructured":"Ciobanu, G., Koutny, M.: Timed Migration and Interaction With Access Permissions. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 293\u2013307. Springer, Heidelberg (2011)"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.entcs.2006.07.013","volume":"164","author":"G. Ciobanu","year":"2006","unstructured":"Ciobanu, G., Prisacariu, C.: Timers for Distributed Systems. Electronic Notes in Theoretic Computer Science\u00a0164(3), 81\u201399 (2006)","journal-title":"Electronic Notes in Theoretic Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Ciobanu, G., Zheng, M.: Automatic Analysis of TiMo Systems in PAT. In: Proc. 18th International Conference on Engineering of Complex Computer Systems, pp. 121\u2013124. IEEE Computer Society (2013)","key":"10_CR9","DOI":"10.1109\/ICECCS.2013.25"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-78929-1_18","volume-title":"Hybrid Systems: Computation and Control","author":"T. Han","year":"2008","unstructured":"Han, T., Katoen, J.-P., Mereacre, A.: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol.\u00a04981, pp. 244\u2013258. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Lynch, N.: The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. In: Proc. of IEEE Real-Time Systems Symposium, pp. 120\u2013131 (1994)","key":"10_CR11","DOI":"10.1109\/REAL.1994.342724"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/j.apal.2011.12.002","volume":"163","author":"N. Kamide","year":"2012","unstructured":"Kamide, N.: Bounded Linear-Time Temporal Logic: A Proof-Theoretic Investigation. Annals of Pure and Applied Logic\u00a0163, 439\u2013466 (2012)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Petterson, P., Yi, W.: Uppaal in a Nutshell. International Journal on Software Tools for Technology Transfer\u00a01(2), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-calculus. Cambridge University Press (1999)","key":"10_CR14"},{"key":"10_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511792588","volume-title":"Introduction to Bisimulation and Coinduction","author":"D. Sangiorgi","year":"2011","unstructured":"Sangiorgi, D.: Introduction to Bisimulation and Coinduction. Cambridge University Press, New York (2011)"},{"doi-asserted-by":"crossref","unstructured":"Yi, W., Pettersson, P., Daniels, M.: Automatic Verification of Real-time Communicating Systems by Constraint-Solving. In: International Conference on Formal Description Techniques, pp. 223\u2013238 (1994)","key":"10_CR16","DOI":"10.1007\/978-0-387-34878-0_18"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19458-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T08:08:07Z","timestamp":1674202087000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19458-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194578","9783319194585"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19458-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}