A Formal Development of a Polychronous Polytimed Coordination Language by Hai Nguyen Van, Frédéric Boulanger and Burkhart Wolff Jul 30
Concurrent Refinement Algebra and Rely Quotients by Julian Fell, Ian J. Hayes and Andrius Velykis Dec 30
Modal Logics for Nominal Transition Systems by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas Oct 25
A Constructive Proof for FLP by Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters and Uwe Nestmann May 18
Analysing and Comparing Encodability Criteria for Process Calculi by Kirstin Peters and Rob van Glabbeek Aug 10