Slicing of Concurrent Programs and its Application to Information Flow Control

Dennis Giffhorn. Slicing of Concurrent Programs and its Application to Information Flow Control. PhD thesis, Karlsruhe Institute of Technology, 2012. [doi]

Abstract

Abstract is missing.