The paper “Performance Evaluation on Modern Concurrent Data Structures” by Hao Wu, Xiaoxiao Yang and Joost-Pieter Katoen has been accepted at SETTA 2016 in Beijing.  The paper considers the modelling of several concurrent data structures in LOTOS-NT and evaluates their performance by model-based analysis.