{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:17:56Z","timestamp":1725495476922},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540753339"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75336-0_7","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T01:38:37Z","timestamp":1195177117000},"page":"98-115","source":"Crossref","is-referenced-by-count":5,"title":["Spatial-Behavioral Types, Distributed Services, and Resources"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Caires","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L.: A theory of primitive objects: Untyped and first-order systems. Inf. Comput. 125(2) (1996)","DOI":"10.1006\/inco.1996.0024"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1109\/CSFW.2005.17","volume-title":"18th IEEE Computer Security Foundations Workshop (CSFW-18 2005)","author":"M. Bartoletti","year":"2005","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.: Enforcing secure service composition. In: 18th IEEE Computer Security Foundations Workshop (CSFW-18 2005), pp. 211\u2013223. IEEE Computer Society, Los Alamitos (2005)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1007\/3-540-61604-7_82","volume-title":"CONCUR \u201996: Concurrency Theory","author":"P. Blasio Di","year":"1996","unstructured":"Di Blasio, P., Fisher, K.: A calculus for concurrent objects. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 655\u2013670. Springer, Heidelberg (1996)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2003)","DOI":"10.1145\/604131.604156"},{"key":"7_CR5","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)"},{"issue":"2","key":"7_CR6","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":"7_CR7","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":"7_CR8","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, New York (2000)"},{"key":"7_CR9","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, Los Alamitos (2005)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Chaki, S., Rajamani, S.K., Rehof, J.: Types as models: model checking message-passing programs. In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 45\u201357 (2002)","DOI":"10.1145\/503272.503278"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, pp. 292\u2013310 (2002)","DOI":"10.1145\/582419.582447"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., et al.: SCC: a Service Centered Calculus. In: WS-FM 2006. LNCS, Springer, Heidelberg (2006)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Hankin, P.D.: A concurrent object calculus: Reduction and typing. Electr. Notes Theor. Comput. Sci. 16(3) (1998)","DOI":"10.1016\/S1571-0661(04)00145-8"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Inf. Comput.\u00a0173(1), 82\u2013120 (2002)","journal-title":"Inf. Comput."},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems - ESOP\u201998","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":"7_CR16","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. In: POPL 2001: 28th Annual Symposium on Principles of Programming Languages (2001)","DOI":"10.1145\/360204.360215"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: Resource usage analysis. In: POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 331\u2013342 (2002)","DOI":"10.1145\/503272.503303"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (2006)","DOI":"10.1007\/s10270-006-0012-1"},{"key":"7_CR19","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)"},{"key":"7_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, Los Alamitos (2002)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75336-0_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:29Z","timestamp":1619521169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75336-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540753339"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75336-0_7","relation":{},"subject":[]}}