Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
ICFEM, pp. 303-319, 2018.
In the implementation of abstract synchronous communication in asynchronous unstructured low-level languages, e.g. using shared variables, the preservation of safety and especially liveness properties is a hitherto open problem due to inherently different abstraction levels. Our approach to overcome this problem is threefold: First, we pr...More
Full Text (Upload PDF)
PPT (Upload PPT)