The language of threads