A unifying approach to the security of distributed and multi-threaded programs Mantel, Heiko Sabelfeld, Andrei 2001 - TUHH Open Research
A generic approach to the security of multi-threaded programs Mantel, Heiko Sabelfeld, Andrei 2001 - TUHH Open Research