Experiments to write concurrent applications in Coq.