DMCA

Noninterference for concurrent programs and thread systems (2002)

by Ilaria Castellani
Venue:Theoretical Computer Science
Citations:89 - 5 self