2 results
Security monitor inlining and certification for multithreaded Java
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 3 / March 2015
- Published online by Cambridge University Press:
- 17 December 2014, pp. 528-565
-
- Article
- Export citation
On global induction mechanisms in a μ-calculus with explicit approximations
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 37 / Issue 4 / October 2003
- Published online by Cambridge University Press:
- 15 January 2004, pp. 365-391
- Print publication:
- October 2003
-
- Article
- Export citation