{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:36Z","timestamp":1725491616502},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752905"},{"type":"electronic","value":"9783540752929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75292-9_4","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T10:43:07Z","timestamp":1189507387000},"page":"50-63","source":"Crossref","is-referenced-by-count":10,"title":["Mobile Ambients with Timers and Types"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"4_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":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"4_CR3","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":"4_CR4","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":"4_CR5","first-page":"79","volume-title":"ACM Symposium on Principles of Programming Languages","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L., Gordon, A.: Types for Mobile Ambients. In: ACM Symposium on Principles of Programming Languages, pp. 79\u201392. ACM Press, New York (1999)"},{"issue":"3","key":"4_CR6","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 Theoretical Computer Science\u00a0164(3), 81\u201399 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"4_CR7","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":"4_CR8","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"},{"issue":"1","key":"4_CR9","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":"4_CR10","series-title":"Lecture Notes in Computer Science","first-page":"288","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":"4_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1989","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"4_CR12","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":"4_CR13","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)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75292-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:02Z","timestamp":1619521142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75292-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752905","9783540752929"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75292-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}