{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:52Z","timestamp":1761596932421,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291893"},{"type":"electronic","value":"9783540320845"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11562436_25","type":"book-chapter","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T09:40:51Z","timestamp":1129714851000},"page":"335-350","source":"Crossref","is-referenced-by-count":4,"title":["Proof Methodologies for Behavioural Equivalence in Dpi"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Ciaffaglione","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Hennessy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Rathke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","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, p. 140. Springer, Heidelberg (1998)"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Ciaffaglione, A., Hennessy, M., Rathke, J.: Proof methodologies for behavioural equivalence in Dpi. Technical Report 03:2005, Department of Informatics, University of Sussex (2005), http:\/\/www.dimi.uniud.it\/~ciaffagl","DOI":"10.1007\/11562436_25"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-49019-1_15","volume-title":"Foundations of Software Science and Computation Structures","author":"A.D. Gordon","year":"1999","unstructured":"Gordon, A.D., Cardelli, L.: Equational properties of mobile ambients. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol.\u00a01578, pp. 212\u2013226. Springer, Heidelberg (1999)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Merro, M., Rathke, J.: Towards a behavioural theory of access and mobility control in distributed systems. Th. Comp. Science\u00a0322(3) (2004)","DOI":"10.1016\/j.tcs.2003.12.024"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Rathke, J.: Typed behavioural equivalences for processes in the presence of subtyping. Electronic Notes in Th. Comp. Science\u00a0vol. 61 (2002)","DOI":"10.1016\/S1571-0661(04)00309-3"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation\u00a0173(1) (2002)","DOI":"10.1006\/inco.2001.3089"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-24727-2_18","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Hennessy","year":"2004","unstructured":"Hennessy, M., Rathke, J., Yoshida, N.: safeDpi: A language for controlling mobile code. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 241\u2013256. Springer, Heidelberg (2004)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: A theory of bisimulation for a fragment of concurrent ML with local names. Theoretical Computer Science\u00a0323(1-3) (2004)","DOI":"10.1016\/j.tcs.2004.03.005"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: Proc. of POPL (2000)","DOI":"10.1145\/325694.325741"},{"key":"25_CR10","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Merro, M., Nardelli, F.Z.: Bisimulation proof methods for mobile ambients. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719. Springer, Heidelberg (2003)","DOI":"10.1007\/3-540-45061-0_47"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (I and II). Information and Computation\u00a0100(1,2) (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Pierce, B.C., Sangiorgi, D.: Behavioral equivalence in the polymorphic PICALCULUS. Journal of ACM\u00a047(3) (2000)","DOI":"10.1145\/337244.337261"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D., Milner, R.: The problem of \u201cweak bisimulation up to\u201d. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630. Springer, Heidelberg (1992)","DOI":"10.1007\/BFb0084781"},{"key":"25_CR15","volume-title":"The PICALCILUS: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The PICALCILUS: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Unyapoth, A., Sewell, P.: Nomadic pict: correct communication infrastructure for mobile computation. In: Proc. of POPL (2001)","DOI":"10.1145\/360204.360214"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562436_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:40:38Z","timestamp":1586515238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562436_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291893","9783540320845"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11562436_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}