{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T08:32:25Z","timestamp":1774168345782,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540738572","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73859-6_2","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T11:37:02Z","timestamp":1187696222000},"page":"16-35","source":"Crossref","is-referenced-by-count":7,"title":["Logical Semantics of Types for Concurrency"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Caires","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Caires","year":"2004","unstructured":"Caires, L.: Behavioral and Spatial Properties in a Logic for the Pi-Calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, Springer, Heidelberg (2004)"},{"key":"2_CR2","unstructured":"Caires, L.: Logical Semantics of Types for Concurrency. Technical Report 2\/07, Departamento de Informatica FCT\/UNL (2007)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-74407-8","volume-title":"TGC 2006 2nd Intl. Symp. on Trustworthy Global Computing","author":"L. Caires","year":"2007","unstructured":"Caires, L.: Spatial-Behavioral Types, Distributed Services, and Resources. In: Montanari, U., Sanella, D. (eds.) TGC 2006 2nd Intl. Symp. on Trustworthy Global Computing. LNCS, Springer, Heidelberg (2007)"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/S0890-5401(03)00137-8","volume":"186","author":"L. Caires","year":"2003","unstructured":"Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). Information and Computation\u00a0186(2), 194\u2013235 (2003)","journal-title":"Information and Computation"},{"issue":"322","key":"2_CR5","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/j.tcs.2003.10.041","volume":"3","author":"L. Caires","year":"2004","unstructured":"Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part II). Theoretical Computer Science\u00a03(322), 517\u2013565 (2004)","journal-title":"Theoretical Computer Science"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Caires, L., Vieira, H.: Extensionality of Spatial Observations in Distributed Systems. Electronic Notes in Theoretical Computer Science (2007)","DOI":"10.1016\/j.entcs.2006.10.056"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/325694.325742","volume-title":"27th ACM Symp. on Principles of Programming Languages","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, Anywhere. Modal Logics for Mobile Ambients. In: 27th ACM Symp. on Principles of Programming Languages, pp. 365\u2013377. ACM Press, New York (2000)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/LICS.2005.46","volume-title":"20th IEEE Symposium on Logic in Computer Science (LICS 2005)","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., De Nicola, R., Varacca, D.: Semantic Subtyping for the \u03c0-Calculus. In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), pp. 92\u2013101. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"2_CR9","unstructured":"Curry, H.B., Feys, R.: Combinatory Logic. North-Holland, Amsterdam (1958)"},{"issue":"2-3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S.J. Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.: Subtyping for Session Types in the Pi-Calculus. Acta Informatica\u00a042(2-3), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency. JACM\u00a032(1), 137\u2013161 (1985)","journal-title":"JACM"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"2_CR13","volume-title":"POPL 2001: 28th ACM Symp. on Principles of Programming Languages","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Kobayashi, N.: A Generic Type System for the Pi-Calculus. In: POPL 2001: 28th ACM Symp. on Principles of Programming Languages, ACM Press, New York (2001)"},{"issue":"5","key":"2_CR14","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1145\/330249.330251","volume":"21","author":"N. Kobayashi","year":"1999","unstructured":"Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the Pi-Calculus. ACM Trans. Program. Lang. Syst.\u00a021(5), 914\u2013947 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR15","unstructured":"Milner, R.: The Polyadic \u03c0-Calculus: A Tutorial. Technical Report 180, University of Edinburgh LFCS (1991)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal Logics for Mobile Processes. Theoretical Computer Science\u00a0114, 149\u2013171 (1993)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P., Pym, D.: The Logic of Bunched Implications. The Bulletin of Symbolic Logic\u00a05(2), 215\u2013243 (1999)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-28644-8_4","volume-title":"CONCUR 2004 - Concurrency Theory","author":"P.W. O\u2019Hearn","year":"2004","unstructured":"O\u2019Hearn, P.W.: Resources, Concurrency and Local Reasoning. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 49\u201367. Springer, Heidelberg (2004)"},{"issue":"5","key":"2_CR19","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"B.C. Pierce","year":"1996","unstructured":"Pierce, B.C., Sangiorgi, D.: Typing and Subtyping for Mobile Processes. Mathematical Structures in Computer Science\u00a06(5), 409\u2013453 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR20","volume-title":"Third Annual Symposium on Logic in Computer Science","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: Separation Logic: A Logic for Shared Mutable Data Structures. In: Third Annual Symposium on Logic in Computer Science, Copenhagen, Denmark, IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"2_CR21","volume-title":"The \u03c0-calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"198","DOI":"10.2307\/2271658","volume":"32","author":"W. Tait","year":"1967","unstructured":"Tait, W.: Intensional Interpretations of Functionals of Finite Type. J. Symbolic Logic\u00a032(2), 198\u2013212 (1967)","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A Syntactic Approach to Type Soundness. Inf. Comput.\u00a0115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73859-6_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:16:52Z","timestamp":1605763012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73859-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540738572"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73859-6_2","relation":{},"subject":[]}}