{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:44Z","timestamp":1725542924358},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540373766"},{"type":"electronic","value":"9783540373773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11817949_15","type":"book-chapter","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T19:59:29Z","timestamp":1154548769000},"page":"218-232","source":"Crossref","is-referenced-by-count":12,"title":["A Capability Calculus for Concurrency and Determinism"],"prefix":"10.1007","author":[{"given":"Tachio","family":"Terauchi","sequence":"first","affiliation":[]},{"given":"Alex","family":"Aiken","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Aiken, A., Gay, D.: Barrier inference. In: Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pp. 342\u2013354 (January 1998)","DOI":"10.1145\/268946.268974"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/3-540-45657-0_50","volume-title":"Computer Aided Verification","author":"S. Blom","year":"2002","unstructured":"Blom, S., van de Pol, J.: State space reduction by proving confluence. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 596\u2013609. Springer, Heidelberg (2002)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-44898-5_4","volume-title":"Static Analysis","author":"J. Boyland","year":"2003","unstructured":"Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 55\u201372. Springer, Heidelberg (2003)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Crary, K., Walker, D., Morrisett, G.: Typed memory management in a calculus of capabilities. In: Proceedings of the 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 262\u2013275 (January 1999)","DOI":"10.1145\/292540.292564"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Edwards, S.A., Tardieu, O.: Shim: a deterministic model for heterogeneous embedded systems. In: Proceedings of the 5th ACM International Conference On Embedded Software, Jersey City, NJ, pp. 264\u2013272 (September 2005)","DOI":"10.1145\/1086228.1086277"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Groote, J.F., van de Pol, J.: State space reduction using partial tau-confluence. In: Proceedings of 25th International Symposium on the Mathematical Foundations of Computer Science 2000, Bratislava, Slovakia, pp. 383\u2013393 (August 2000)","DOI":"10.1007\/3-540-44612-5_34"},{"key":"15_CR7","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Information processing, Stockholm, Sweden, pp. 471\u2013475 (August 1974)"},{"issue":"5","key":"15_CR8","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 Transactions on Programming Languages and Systems\u00a021(5), 914\u2013947 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-45022-X_34","volume-title":"Automata, Languages and Programming","author":"B. K\u00f6nig","year":"2000","unstructured":"K\u00f6nig, B.: Analysing input\/output-capabilities of mobile processes with a generic type system. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 403\u2013414. Springer, Heidelberg (2000)"},{"key":"15_CR10","unstructured":"Nestmann, U., Steffen, M.: Typing confluence. In: Proceedings of FMICS 1997, pp. 77\u2013101 (1997)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1086365.1086379","volume-title":"Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming","author":"T. Terauchi","year":"2005","unstructured":"Terauchi, T., Aiken, A.: Witnessing side-effects. In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, Tallinn, Estonia, September 2005, pp. 105\u2013115. ACM, New York (2005)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Terauchi, T., Aiken, A.: A capability calculus for concurrency and determinism. Technical Report UCB\/EECS-2006-84, University of California, Berkeley (2006)","DOI":"10.1007\/11817949_15"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Walker, D., Morrisett, G.: Alias types for recursive data structures. In: International Workshop on Types in Compilation, Montreal, Canada (September 2000)","DOI":"10.1007\/3-540-45332-6_7"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2006 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11817949_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:46Z","timestamp":1605644146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817949_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540373766","9783540373773"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11817949_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}