Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. - Nils Berg; Thomas Göthel; Armin Danziger; Sabine Glesner (ICFEM, 2018)