{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:28:44Z","timestamp":1778300924228,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433637","type":"print"},{"value":"9783540459279","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45927-8_22","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T05:39:04Z","timestamp":1192772344000},"page":"314-329","source":"Crossref","is-referenced-by-count":8,"title":["Dependency Analysis of Mobile Systems"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00f4me","family":"Feret","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Control flow analysis for the \u03c0-calculus","author":"C. Bodei","year":"1998","unstructured":"C. Bodei, P. Degano, F. Nielson, and H.R Nielson. Control flow analysis for the \u03c0-calculus. In Proc. CONCUR\u201998, LNCS. Springer-Verlag, 1998."},{"key":"22_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Secrecy and group creation","author":"L. Cardelli","year":"2000","unstructured":"L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. In Proc. CONCUR\u201900, LNCS. Springer-Verlag, 2000."},{"key":"22_CR4","first-page":"303","volume-title":"Program Flow Analysis: Theory and Applications","author":"P. Cousot","year":"1981","unstructured":"P. Cousot. Semantic foundations of program analysis. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 10, pages 303\u2013342. Prentice-Hall, Inc., Englewood Cliffs, 1981."},{"issue":"4","key":"22_CR5","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4):511\u2013547, August 1992.","journal-title":"Journal of logic and computation"},{"key":"22_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Comparing the Galois connection and widening\u2014narrowing approaches to abstract interpretation","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\u2014narrowing approaches to abstract interpretation. In Proc. PLILP\u201992, LNCS. Springer-Verlag, 1992."},{"key":"22_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Confidentiality analysis for mobiles systems","author":"J. Feret","year":"2000","unstructured":"J. Feret. Confidentiality analysis for mobiles systems. In Proc. SAS\u201900, LNCS. Springer-Verlag, 2000."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"J. Feret. Occurrence counting analysis for the \u03c0-calculus. ENTCS, 39.2, 2001. Workshop on GEometry and Topology in COncurrency theory, PennState, USA, August 21, 2000.","DOI":"10.1016\/S1571-0661(05)01155-2"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"M. Karr. Affine relationships among variables of a program. Acta Informatica, pages 133\u2013151, 1976.","DOI":"10.1007\/BF00268497"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1145\/321356.321364","volume":"13","author":"R. J. Parikh","year":"1966","unstructured":"R. J. Parikh. On context-free languages. Journal of the ACM, 13:570\u2013581, 1966.","journal-title":"Journal of the ACM"},{"key":"22_CR11","unstructured":"D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Edinburgh University, 1995."},{"key":"22_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Automatic determination of communication topologies in mobile systems","author":"A. Venet","year":"1998","unstructured":"A. Venet. Automatic determination of communication topologies in mobile systems. In Proc. SAS\u201998, LNCS. Springer-Verlag, 1998."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45927-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:29:04Z","timestamp":1556904544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45927-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433637","9783540459279"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45927-8_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}