Noninterference for concurrent programs and thread systems.

Gérard Boudol Ilaria Castellani

Published in: Theor. Comput. Sci. (2002)

Keyphrases

concurrent programs
distributed systems
artificial intelligence
machine learning
expert systems
software engineering
general purpose
computer systems