A definition of concurrent computations in Coq.