A Modality for Safe Resource Sharing and Code Reentrancy.

Rui Shi, Dengping Zhu, Hongwei Xi

Browse the full ICTAC paper archive.