CONCUR 2005 - Concurrency Theory
2005
Theory of Objects
2012
La sécurité informatique
2011
Principles of Security and Trust
2014
Trustworthy Global Computing
