{"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":1772881057950,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642307928","type":"print"},{"value":"9783642307935","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30793-5_4","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T07:34:33Z","timestamp":1339140873000},"page":"52-66","source":"Crossref","is-referenced-by-count":7,"title":["Behavioural Equivalences over Migrating Processes with Timers"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-540-68855-6_15","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"B. Aman","year":"2008","unstructured":"Aman, B., Ciobanu, G.: Timed Mobile Ambients for Network Protocols. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 234\u2013250. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"4_CR2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1997-291203","volume":"29","author":"J.C.M. Baeten","year":"1997","unstructured":"Baeten, J.C.M., Bergstra, J.A.: Discrete time process algebra: Absolute time, relative time and parametric time. Fundam. Inform.\u00a029(1-2), 51\u201376 (1997)","journal-title":"Fundam. Inform."},{"key":"4_CR3","unstructured":"Berger, M.: Towards Abstractions for Distributed Systems. Ph.D. thesis, Department of Computing, Imperial College (2002)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can\u2019t be traced. In: POPL, pp. 229\u2013239 (1988)","DOI":"10.1145\/73560.73580"},{"key":"4_CR5","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.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"4_CR6","unstructured":"Chen, L.: Timed Processes: Models, Axioms and Decidability. Ph.D. thesis, School of Informatics, University of Edinburgh (1993)"},{"key":"4_CR7","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.) Soft-Ware Intensive Systems. LNCS, vol.\u00a05380, pp. 190\u2013208. Springer, Heidelberg (2008)"},{"issue":"6","key":"4_CR8","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(6), 559\u2013571 (2012)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"4_CR9","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":"4_CR10","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":"7","key":"4_CR11","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.jlap.2011.05.002","volume":"80","author":"G. Ciobanu","year":"2011","unstructured":"Ciobanu, G., Koutny, M.: Timed mobility in process algebra and petri nets. J. Log. Algebr. Program.\u00a080(7), 377\u2013391 (2011)","journal-title":"J. Log. Algebr. Program."},{"issue":"3","key":"4_CR12","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. Electr. Notes Theor. Comput. Sci.\u00a0164(3), 81\u201399 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","volume":"118","author":"J.F. Groote","year":"1993","unstructured":"Groote, J.F.: Transition system specifications with negative premises. Theoretical Computer Science\u00a0118, 263\u2013299 (1993)","journal-title":"Theoretical Computer Science"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Hennessy, M.: A distributed \u03c0-calculus. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511611063"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Inf. Comput.\u00a0117(2), 221\u2013239 (1995)","journal-title":"Inf. Comput."},{"key":"4_CR16","unstructured":"Milner, R.: Communicating and mobile systems - the \u03c0-calculus. Cambridge University Press (1999)"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1083","volume":"114","author":"X. Nicollin","year":"1994","unstructured":"Nicollin, X., Sifakis, J.: The algebra of timed processes, atp: Theory and application. Inf. Comput.\u00a0114(1), 131\u2013178 (1994)","journal-title":"Inf. Comput."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-13464-7_11","volume-title":"Formal Techniques for Distributed Systems","author":"E. Posse","year":"2010","unstructured":"Posse, E., Dingel, J.: Theory and Implementation of a Real-Time Extension to the \u03c0-Calculus. In: Hatcliff, J., Zucca, E. (eds.) FMOODS\/FORTE 2010. LNCS, vol.\u00a06117, pp. 125\u2013139. Springer, Heidelberg (2010)"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s002360050036","volume":"33","author":"D. Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: A theory of bisimulation for the \u03c0-calculus. Acta Inf.\u00a033(1), 69\u201397 (1996)","journal-title":"Acta Inf."},{"key":"4_CR20","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-Calculus - a theory of mobile processes. Cambridge University Press (2001)"},{"key":"4_CR21","unstructured":"Yi, W.: A Calculus of Real-Time Systems. Ph.D. thesis, Department of Computer Science, Chalmers University of Technology (1991)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30793-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:30:51Z","timestamp":1620113451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30793-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307928","9783642307935"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30793-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}