Noninterference for Concurrent Programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gérard Boudol, Ilaria Castellani. Noninterference for Concurrent Programs. In Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, editors, Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Volume 2076 of Lecture Notes in Computer Science, pages 382-395, Springer, 2001. [doi]

The following publications are possibly variants of this publication:

Noninterference for concurrent programs and thread systemsGérard Boudol, Ilaria Castellani. TCS, 281(1-2):109-130, 2002. [doi]

Typing noninterference for reactive programsAna Almeida Matos, Gérard Boudol, Ilaria Castellani. jlp, 72(2):124-156, 2007. [doi]

runs on WebDSL