Alessandro Aldini, Marco Bernardo. Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. In Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek, editors, Architecting Dependable Systems VI. Volume 5835 of Lecture Notes in Computer Science, pages 228-254, Springer, 2008. [doi]
Abstract is missing.