{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:51Z","timestamp":1760202591518},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106712"},{"type":"electronic","value":"9783642106729"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10672-9_16","type":"book-chapter","created":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T09:08:11Z","timestamp":1259744891000},"page":"210-225","source":"Crossref","is-referenced-by-count":7,"title":["On Stratified Regions"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Amadio, R.: On stratified regions. Report ArXiv:0904.2076"},{"key":"16_CR2","unstructured":"Amadio, R., Curien, P.-L.: Domains and Lambda Calculi. Cambridge University Press, Cambridge"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Amadio, R., Dabrowski, F.: Feasible reactivity in a synchronous \u03c0-calculus. In: Proc. ACM Principles and Practice of Declarative Programming, pp. 221\u2013230 (2007)","DOI":"10.1145\/1273920.1273951"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-540-74407-8_19","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"G. Boudol","year":"2007","unstructured":"Boudol, G.: Typing termination in a higher-order concurrent imperative language. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 272\u2013286. Springer, Heidelberg (2007)"},{"issue":"2","key":"16_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language. Science of computer programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of computer programming"},{"issue":"7","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1016\/j.ic.2006.03.002","volume":"204","author":"Y. Deng","year":"2006","unstructured":"Deng, Y., Sangiorgi, D.: Ensuring termination by typability. Information and Computation\u00a0204(7), 1045\u20131082 (2006)","journal-title":"Information and Computation"},{"key":"16_CR7","first-page":"123","volume-title":"Logic and Computer Science","author":"J. Gallier","year":"1990","unstructured":"Gallier, J.: On Girard\u2019s Candidats de Reductibilit\u00e9. In: Odifreddi (ed.) Logic and Computer Science, pp. 123\u2013203. Academic Press, London (1990)"},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra of timed systems. Information and Computation\u00a0117(2), 221\u2013239 (1995)","journal-title":"Information and Computation"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Lucassen, J., Gifford, D.: Polymorphic effect systems. In: Proc. ACM-POPL (1988)","DOI":"10.1145\/73560.73564"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129505004810","volume":"16","author":"D. Sangiorgi","year":"2006","unstructured":"Sangiorgi, D.: Termination of processes. Math. Struct. in Comp. Sci.\u00a016, 1\u201339 (2006)","journal-title":"Math. Struct. in Comp. Sci."},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.-P.: Region-based memory management. Information and Computation\u00a0132(2), 109\u2013176 (1997)","journal-title":"Information and Computation"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.ic.2003.08.004","volume":"191","author":"N. Yoshida","year":"2004","unstructured":"Yoshida, N., Berger, M., Honda, K.: Strong normalisation in the \u03c0-calculus. Information and Computation\u00a0191(2), 145\u2013202 (2004)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10672-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:37:56Z","timestamp":1619782676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10672-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106712","9783642106729"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10672-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}