BFCA+: automatic synthesis of parallel code with TLS capabilities | Publicación