This is your work, valued

Concurrency in Coq

Intermediate
@coq-concurrency

Development of concurrent applications in Coq.