The work on the Concurrency lab