{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T04:20:58Z","timestamp":1741926058020,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249327"},{"type":"electronic","value":"9783642249334"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24933-4_5","type":"book-chapter","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T08:11:49Z","timestamp":1319875909000},"page":"74-89","source":"Crossref","is-referenced-by-count":0,"title":["From Explicit to Symbolic Types for Communication Protocols in CCS"],"prefix":"10.1007","author":[{"given":"Hanne Riis","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"Kreiker","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"Pilegaard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for Actor computation. J. Funct. Program.\u00a07(1), 1\u201372 (1997)","key":"5_CR1","DOI":"10.1017\/S095679689700261X"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-69166-2_3","volume-title":"Static Analysis","author":"J. Bauer","year":"2008","unstructured":"Bauer, J., Nielson, F., Riis Nielson, H., Pilegaard, H.: Relational analysis of correlation. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol.\u00a05079, pp. 32\u201346. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theor. Comput. Sci.\u00a096(1), 217\u2013248 (1992)","key":"5_CR3","DOI":"10.1016\/0304-3975(92)90185-I"},{"doi-asserted-by":"crossref","unstructured":"Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Riis Nielson, H.: Static validation of security protocols. J. Comput. Secur.\u00a013(3), 347\u2013390 (2005)","key":"5_CR4","DOI":"10.3233\/JCS-2005-13302"},{"doi-asserted-by":"crossref","unstructured":"Bodei, C., Degano, P., Nielson, F., Riis Nielson, H.: Static analysis for the \u03c0-calculus with applications to security. Information and Computation\u00a0168, 68\u201392 (2001)","key":"5_CR5","DOI":"10.1006\/inco.2000.3020"},{"doi-asserted-by":"crossref","unstructured":"Cardelli, L.: A language with distributed scope. In: POPL, pp. 286\u2013297 (1995)","key":"5_CR6","DOI":"10.1145\/199448.199516"},{"doi-asserted-by":"crossref","unstructured":"Diffie, W., Hellman, M.E.: New directions in cryptography. IEEE Transactions on Information Theory\u00a0IT-22(6), 644\u2013654 (1976)","key":"5_CR7","DOI":"10.1109\/TIT.1976.1055638"},{"doi-asserted-by":"crossref","unstructured":"Feret, J.: Dependency analysis of mobile systems. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, pp. 314\u2013329. Springer, Heidelberg (2002)","key":"5_CR8","DOI":"10.1007\/3-540-45927-8_22"},{"doi-asserted-by":"crossref","unstructured":"Karr, M.: Affine relationships among variables of a program. Acta Inf.\u00a06, 133\u2013151 (1976)","key":"5_CR9","DOI":"10.1007\/BF00268497"},{"doi-asserted-by":"crossref","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)","key":"5_CR10","DOI":"10.1007\/978-3-540-71316-6_4"},{"unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press (1999)","key":"5_CR11"},{"doi-asserted-by":"crossref","unstructured":"Nicola, R.D., Gorla, D., Hansen, R.R., Nielson, F., Riis Nielson, H., Probst, C.W., Pugliese, R.: From flow logic to static type systems for coordination languages. Sci. Comput. Program.\u00a075(6), 376\u2013397 (2010)","key":"5_CR12","DOI":"10.1016\/j.scico.2009.07.009"},{"doi-asserted-by":"crossref","unstructured":"Nielson, F., Riis Nielson, H.: Type and Effect Systems. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 114\u2013136. Springer, Heidelberg (1999)","key":"5_CR13","DOI":"10.1007\/3-540-48092-7_6"},{"doi-asserted-by":"crossref","unstructured":"Nielson, F., Riis Nielson, H., Bauer, J., Rosenkilde Nielsen, C., Pilegaard, H.: Relational analysis for delivery of services. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol.\u00a04912, pp. 73\u201389. Springer, Heidelberg (2008)","key":"5_CR14","DOI":"10.1007\/978-3-540-78663-4_7"},{"doi-asserted-by":"crossref","unstructured":"Nielson, F., Riis Nielson, H., Sun, H., Buchholtz, M., Hansen, R.R., Pilegaard, H., Seidl, H.: The Succinct Solver Suite. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 251\u2013265. Springer, Heidelberg (2004)","key":"5_CR15","DOI":"10.1007\/978-3-540-24730-2_21"},{"doi-asserted-by":"crossref","unstructured":"Riis Nielson, H., Nielson, F.: Flow Logic: a multi-paradigmatic approach to static analysis. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 223\u2013244. Springer, Heidelberg (2002)","key":"5_CR16","DOI":"10.1007\/3-540-36377-7_11"},{"unstructured":"Riis Nielson, H., Nielson, F., Pilegaard, H.: Flow logic for process calculi. ACM Computing Surveys (to appear 2010)","key":"5_CR17"},{"doi-asserted-by":"crossref","unstructured":"Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: LICS, pp. 176\u2013185 (1998)","key":"5_CR18","DOI":"10.1109\/LICS.1998.705654"},{"doi-asserted-by":"crossref","unstructured":"Smith, G.: Polymorphic type inference with overloading and subtyping. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) TAPSOFT 1993. LNCS, vol.\u00a0668, pp. 671\u2013685. Springer, Heidelberg (1993)","key":"5_CR19","DOI":"10.1007\/3-540-56610-4_97"},{"doi-asserted-by":"crossref","unstructured":"Venet, A.: Automatic determination of communication topologies in mobile systems. In: Levi, G. (ed.) SAS 1998. LNCS, vol.\u00a01503, pp. 152\u2013167. Springer, Heidelberg (1998)","key":"5_CR20","DOI":"10.1007\/3-540-49727-7_9"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling: Actors, Open Systems, Biological Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24933-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T13:02:55Z","timestamp":1741870975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24933-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249327","9783642249334"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24933-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}