266
click to vote
FIDJI
2004
Springer
16 years 19 hour ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...