%0 Conference Proceedings %F SCSS09 %A Castéran, Pierre %A Filou, Vincent %A Mosbah, Mohamed %T Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant %B Symbolic Computation in Software Science (SCSS'09) %D 2009