Process Algebra and Non-Interference

Peter Y. A. Ryan, Steve A. Schneider. Process Algebra and Non-Interference. In CSFW. pages 214-227, 1999. [doi]

Abstract

Abstract is missing.