Tasks, Types and Tactics for Local Computation Systems. - Pierre Castéran; Vincent Filou (Stud. Inform. Univ., 2011)

Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations. - Vincent Filou; Mohamed Mosbah 001; Mohamed Tounsi 001 (WETICE, 2013)