Public

Noninterference for Concurrent Programs

Published in Lecture notes in computer science • Jan 1, 2001

NobleIDark:/48914/w1/20260524/2A1BE79ERecord on NobleID

Authors:

Gérard Boudol

,

Ilaria Castellani

Subject

Computer science

Programming language

Semantics (computer science)

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!