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

Nils Berg
Nils Berg
Armin Danziger
Armin Danziger

ICFEM, pp. 303-319, 2018.

Cited by: 1|Bibtex|Views1|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments