hijakd/z.2018.comp229_introtoconcurrency archive