Confinement Properties for Multi-Threaded Programs (1999)

by Geoffrey Smith , Dennis Volpano
Citations:4 - 0 self