{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:40Z","timestamp":1725514900190},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540688549"},{"type":"electronic","value":"9783540688556"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68855-6_15","type":"book-chapter","created":{"date-parts":[[2008,5,31]],"date-time":"2008-05-31T09:18:13Z","timestamp":1212225493000},"page":"234-250","source":"Crossref","is-referenced-by-count":5,"title":["Timed Mobile Ambients for Network Protocols"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"15_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s002360050047","volume":"33","author":"L. Aceto","year":"1996","unstructured":"Aceto, L., Murphy, D.: Timing and Causality in Process Algebra. Acta Informatica\u00a033(4), 317\u2013350 (1996)","journal-title":"Acta Informatica"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-28644-8_8","volume-title":"CONCUR 2004 - Concurrency Theory","author":"M. Berger","year":"2004","unstructured":"Berger, M.: Basic Theory of Reduction Congruence for Two Timed Asynchronous pi-Calculi. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 115\u2013130. Springer, Heidelberg (2004)"},{"unstructured":"Berger, M.: Towards Abstractions for Distributed Systems PhD thesis, Imperial College, Department of Computing (2002)","key":"15_CR3"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/BFb0013021","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"J.A. Bergstra","year":"1989","unstructured":"Bergstra, J.A., Klop, J.W.: Process Theory based on Bisimulation Semantics. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 50\u2013122. Springer, Heidelberg (1989)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-45500-0_2","volume-title":"Theoretical Aspects of Computer Software","author":"M. Bugliesi","year":"2001","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Boxed Ambients. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 38\u201363. Springer, Heidelberg (2001)"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. Theoretical Computer Science\u00a0240(1), 170\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"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":"15_CR7"},{"doi-asserted-by":"crossref","unstructured":"Ciobanu, G., Prisacariu, C.: Timers for Distributed Systems. In: International Workshop on Quantitative Aspects of Programming Languages. Electronic Notes in Theoretical Computer Science, vol.\u00a0164(3), pp. 81\u201399 (2006)","key":"15_CR8","DOI":"10.1016\/j.entcs.2006.07.013"},{"doi-asserted-by":"crossref","unstructured":"Cleveland, R., Zwarico, A.: A theory of testing for real-time. Logic in Computer Science, 110\u2013119 (1991)","key":"15_CR9","DOI":"10.1109\/LICS.1991.151635"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1006\/inco.1998.2726","volume":"145","author":"F. Corradini","year":"1998","unstructured":"Corradini, F.: On performance Congruences for Process Algebras. Information and Computation\u00a0145(2), 191\u2013230 (1998)","journal-title":"Information and Computation"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1006\/inco.1999.2821","volume":"156","author":"F. Corradini","year":"2000","unstructured":"Corradini, F.: Absolute versus relative time in process algebras. Information and Computation\u00a0156(1), 122\u2013172 (2000)","journal-title":"Information and Computation"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(94)00205-W","volume":"140","author":"R. Gorrieri","year":"1995","unstructured":"Gorrieri, R., Roccetti, M., Stancampiano, E.: A Theory of Processes with Durational Actions. Theoretical Computer Science\u00a0140(1), 73\u201394 (1995)","journal-title":"Theoretical Computer Science"},{"key":"15_CR13","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. Information and Computation\u00a0117, 221\u2013239 (1995)","journal-title":"Information and Computation"},{"issue":"1","key":"15_CR14","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(1), 82\u2013120 (2002)","journal-title":"Information and Computation"},{"key":"15_CR15","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. Hirschkoff","year":"2002","unstructured":"Hirschkoff, D., Teller, D., Zimmer, P.: 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)"},{"key":"15_CR16","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1985)"},{"doi-asserted-by":"crossref","unstructured":"Levi, F., Sangiorgi, D.: Controlling interference in ambients. Principles of Programming Languages, 352\u2013364 (2000)","key":"15_CR17","DOI":"10.1145\/325694.325741"},{"key":"15_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International, Englewood Cliffs (1989)"},{"key":"15_CR19","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":"15_CR20","series-title":"Lecture Notes in Computer Science","first-page":"401","volume-title":"CONCUR \u201991","author":"F. Moller","year":"1991","unstructured":"Moller, F., Tofts, C.: A temporal Calculus of Communicating Systems. In: Groote, J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol.\u00a0527, pp. 401\u2013415. Springer, Heidelberg (1991)"},{"key":"15_CR21","volume-title":"TCP\/IP Illustrated, Volume 1 - The Protocols","author":"W.R. Stevens","year":"1993","unstructured":"Stevens, W.R.: TCP\/IP Illustrated, Volume 1 - The Protocols, vol.\u00a01. Addison-Wesley, Reading (1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68855-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T07:27:23Z","timestamp":1551511643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68855-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540688549","9783540688556"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68855-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}