Eduardo Cunha de Almeida Gerson Sunyé Patrick Valduriez Action synchronization in P2P system testing. 43-49 2008 DaMaP http://doi.acm.org/10.1145/1379350.1379357 conf/edbt/2008damap db/conf/edbt/damap2008.html#AlmeidaSV08