Cristiano Calcagno. Stratified operational semantics for safety and correctness of the region calculus. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL, pages 155-165, Association for Computing Machinery, 2001. [doi]
Abstract is missing.