{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T22:20:45Z","timestamp":1649110845136},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540650140","type":"print"},{"value":"9783540497271","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_9","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T03:02:49Z","timestamp":1181185369000},"page":"152-167","source":"Crossref","is-referenced-by-count":20,"title":["Automatic Determination of Communication Topologies in Mobile Systems"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Venet","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"9_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":"9_CR2","unstructured":"G. Boudol. Asynchrony and the \u03c0-calculus. Technical Report 1702, INRIA, 1992."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Seventh International Colloquium on Automata, Languages and Programming","author":"P. Cousot","year":"1980","unstructured":"P. Cousot and R. Cousot. Semantic analysis of communicating sequential processes. In Seventh International Colloquium on Automata, Languages and Programming, volume 85 of LNCS, 1980."},{"issue":"4","key":"9_CR5","doi-asserted-by":"crossref","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":"9_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the Fifth Conference on Principles of Programming Languages. ACM Press, 1978.","DOI":"10.1145\/512760.512770"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"C. Colby. Analyzing the communication topology of concurrent programs. In Symposium on Partial Evaluation and Program Manipulation, 1995.","DOI":"10.1145\/215465.215592"},{"key":"9_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-60360-3_33","volume-title":"Proceedings of the Second International Static Analysis Symposium","author":"C. Colby","year":"1995","unstructured":"C. Colby. Determining storage properties of sequential and concurrent programs with assignment and structured data. In Proceedings of the Second International Static Analysis Symposium, volume 983 of Lecture Notes in Computer Science, pages 64\u201381. Springer-Verlag, 1995."},{"key":"9_CR9","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."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"A. Deutsch. A storeless model of aliasing and its abstraction using finite representations of right-regular equivalence relations. In Proceedings of the 1992 International Conference on Computer Languages, pages 2\u201313. IEEE Computer Society Press, 1992.","DOI":"10.1109\/ICCL.1992.185463"},{"key":"9_CR11","series-title":"Lect Notes Comput Sci","first-page":"345","volume-title":"Proceedings of the Fifth LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages","author":"P. Degano","year":"1996","unstructured":"P. Degano, C. Priami, L. Leth, and B. Thomsen. Analysis of facile programs: A case study. In Proceedings of the Fifth LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, volume 1192 of Lecture Notes in Computer Science, pages 345\u2013369. Springer-Verlag, 1996."},{"key":"9_CR12","series-title":"Lect Notes Comput Sci","volume-title":"TAPSOFT\u201991","author":"P. Granger","year":"1991","unstructured":"P. Granger. Static analysis of linear congruence equalities among variables of a program. In TAPSOFT\u201991, volume 493. Lecture Notes in Computer Science, 1991."},{"key":"9_CR13","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985."},{"key":"9_CR14","unstructured":"H.B.M Jonkers. Abstract storage structures. In De Bakker and Van Vliet, editors, Algorithmic languages, pages 321\u2013343. IFIP, 1981."},{"key":"9_CR15","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":"9_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Mathematical Foundations of Programming Semantics","author":"N. Mercouroff","year":"1991","unstructured":"N. Mercouroff. An algorithm for analysing communicating processes. In Mathematical Foundations of Programming Semantics, volume 598 of LNCS, 1991."},{"key":"9_CR17","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"9_CR18","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. In Proceedings of the International Summer School on Logic and Algebra of Specification. Springer-Verlag, 1991."},{"key":"9_CR19","doi-asserted-by":"publisher","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. Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"H. R. Nielson and F. Nielson. Higher-order concurrent programs with finite communication topology. In 21st ACM Symposium on Principles of Programming Languages, 1994.","DOI":"10.1145\/174675.174538"},{"key":"9_CR21","unstructured":"D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Edinburgh University, 1995."},{"key":"9_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-61739-6_53","volume-title":"Proceedings of the Third International Static Analysis Symposium SAS\u201996","author":"A. Venet","year":"1996","unstructured":"A. Venet. Abstract cofibered domains: Application to the alias analysis of untyped programs. In Proceedings of the Third International Static Analysis Symposium SAS\u201996, volume 1145 of Lecture Notes in Computer Science, pages 366\u2013382. Springer-Verlag, 1996."},{"key":"9_CR23","series-title":"Lect Notes Comput Sci","first-page":"51","volume-title":"Proceedings of the Fifth LOMAPS Workshop on Analysis and Verification of High-Level Concurrent Languages","author":"A. Venet","year":"1996","unstructured":"A. Venet. Abstract interpretation of the \u03c0-calculus. In Proceedings of the Fifth LOMAPS Workshop on Analysis and Verification of High-Level Concurrent Languages, volume 1192 of Lecture Notes in Computer Science, pages 51\u201375. Springer-Verlag, 1996."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"A. Venet. Automatic analysis of pointer aliasing for untyped programs. Science of Computer Programming, 1999. To appear.","DOI":"10.1016\/S0167-6423(99)00012-X"}],"container-title":["Static Analysis","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:46:13Z","timestamp":1556480773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":24,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-49727-7_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"published":{"date-parts":[[1998]]}}}