1. Upper and lower bounds for deterministic broadcast in powerline communication networks

   • Yvonne Anne Pignolet
   • Stefan Schmid
   • Gilles Tredan

   OriginalPaper 15 February 2016 Pages: 239 - 250

   

2. Universal constructions that ensure disjoint-access parallelism and wait-freedom

   • Faith Ellen
   • Panagiota Fatourou
   • Corentin Travers

   OriginalPaper 21 January 2016 Pages: 251 - 277

   

3. Modelling and verifying the AODV routing protocol

   • Rob van Glabbeek
   • Peter Höfner
   • Wee Lum Tan

   OriginalPaper 04 March 2016 Pages: 279 - 315