1. Deadlock-freedom in component systems with architectural constraints

   • Moritz Martens
   • Mila Majster-Cederbaum

   OriginalPaper 16 May 2012 Pages: 129 - 177

   

2. A formal hierarchy of weak memory models

   • Jade Alglave

   OriginalPaper 27 June 2012 Pages: 178 - 210

   

3. Probabilistic contracts for component-based design

   • Gregor Gössler
   • Dana N. Xu
   • Alain Girault

   OriginalPaper 04 July 2012 Pages: 211 - 231