Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages.

Nils Berg, Thomas Gthel, Armin Danziger, Sabine Glesner

Browse the full ICFEM paper archive.