{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:32:28Z","timestamp":1725489148206},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540002253"},{"type":"electronic","value":"9783540362067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36206-1_9","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:23:08Z","timestamp":1187234588000},"page":"85-96","source":"Crossref","is-referenced-by-count":14,"title":["The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Castagna","sequence":"first","affiliation":[]},{"given":"Francesco Zappa","family":"Nardelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-44929-9_25","volume-title":"Ambient groups and mobility types","author":"L. Cardelli","year":"2000","unstructured":"L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In Intl. Conf. IFIP TCS, number 1872 in LNCS, pages 333\u2013347. Springer, 2000."},{"key":"9_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Proceedings of F0SSaCS\u201998","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A. Gordon. Mobile Ambients. In Proceedings of F0SSaCS\u201998, number 1378 in Lecture Notes in Computer Science, pages 140\u2013155. Springer, 1998."},{"key":"9_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings FoSSaCS\u2019 99","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli and A. Gordon. Equational properties for Mobile Ambients. In Proceedings FoSSaCS\u2019 99. Springer LNCS, 1999."},{"key":"9_CR4","unstructured":"L. Cardelli and A. Gordon. A commitment relation for the Ambient Calculus. Available at http:\/\/research.microsoft.com\/\u223cadg\/Publications\/ambient-commitment.pdf , 2000."},{"key":"9_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-44685-0_7","volume-title":"Typing mobility in the Seal Calculus","author":"G. Castagna","year":"2001","unstructured":"G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the Seal Calculus. In 12th. International Conference on Concurrency Theory, number 2154 in Lecture Notes in Computer Science, pages 82\u2013101, Springer, 2001."},{"key":"9_CR6","series-title":"Lect Notes Comput Sci","volume-title":"CONCUR 2002","author":"J.C. Godskesen","year":"2002","unstructured":"J.C. Godskesen, T. Hildebrandt, and V. Sassone. A calculus of mobile resources. In CONCUR 2002, Lecture Notes in Computer Science. Springer, 2002."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"F. Levi and D. Sangiorgi. Controlling interference in Ambients. In POPL\u2019 00, pages 352\u2013364. ACM Press, 2000.","DOI":"10.1145\/325694.325741"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"M. Merro and M. Hennessy. Bisimulation conguences in Safe Ambients. In Proc. of the 29th ACM Symp. on Principles of Programming Languages. ACM Press, 2002.","DOI":"10.1145\/503272.503280"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I and II. Information and Computation, 100:1\u201377, September 1992.","journal-title":"Information and Computation"},{"key":"9_CR10","unstructured":"D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis CST-99-93, University of Edinburgh, 1992."},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1006\/inco.1996.0096","volume":"131","author":"D. Sangiorgi","year":"1996","unstructured":"D. Sangiorgi. Bisimulation for Higher-Order Process Calculi. Information and Computation, 131(2):141\u2013178, 1996.","journal-title":"Information and Computation"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. Extensionality and intensionality of the ambient logic. In Proc. of the 28th ACM Symp. on Principles of Programming Languages, London, 2001.","DOI":"10.1145\/360204.375707"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"P. Sewell and J. Vitek. Secure composition of insecure components. In 12th IEEE Computer Security Foundations Workshop, 1999.","DOI":"10.1109\/CSFW.1999.779769"},{"key":"9_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"J. Vitek","year":"1999","unstructured":"J. Vitek and G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, number 1686 in Lecture Notes in Computer Science, pages 47\u201377. Springer, 1999."}],"container-title":["Lecture Notes in Computer Science","FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36206-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:08:00Z","timestamp":1556755680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36206-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540002253","9783540362067"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-36206-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}