{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:07:55Z","timestamp":1725505675381},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787389"},{"type":"electronic","value":"9783540787396"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78739-6_22","type":"book-chapter","created":{"date-parts":[[2008,4,2]],"date-time":"2008-04-02T08:39:06Z","timestamp":1207125546000},"page":"284-298","source":"Crossref","is-referenced-by-count":3,"title":["Inferring Channel Buffer Bounds Via Linear Programming"],"prefix":"10.1007","author":[{"given":"Tachio","family":"Terauchi","sequence":"first","affiliation":[]},{"given":"Adam","family":"Megacz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Checking interference with fractional permissions. In: Static Analysis, Tenth International Symposium, San Diego, CA, June 2003, pp. 55\u201372 (2003)","DOI":"10.1007\/3-540-44898-5_4"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/292540.292564","volume-title":"Proceedings of the 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"K. Crary","year":"1999","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, January 1999, pp. 262\u2013275. San Antonio, Texas (1999)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Kobayashi, N., Nakade, M., Yonezawa, A.: Static analysis of communication for asynchronous concurrent programming languages. In: Static Analysis, Second International Symposium, Glasgow, Scotland, September 1995, pp. 225\u2013242 (1995)","DOI":"10.1007\/3-540-60360-3_42"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/237721.237727","volume-title":"Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"B. Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1996, pp. 32\u201341. St. Petersburg Beach, Florida (1996)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Terauchi, T., Aiken, A.: Witnessing side-effects. In: 10th ACM SIGPLAN International Conference on Functional Programming, Tallinn, Estonia, September 2005, pp. 105\u2013115 (2005)","DOI":"10.1145\/1086365.1086379"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/11817949_15","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"T. Terauchi","year":"2006","unstructured":"Terauchi, T., Aiken, A.: A Capability Calculus for Concurrency and Determinism. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 218\u2013232. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78739-6_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:20:49Z","timestamp":1619522449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78739-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787389","9783540787396"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78739-6_22","relation":{},"subject":[]}}