  + concurrency_lit: Examples collected from the literature
