AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

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

ICFEM, pp.303-319, (2018)

Cited by: 1|Views17
EI
Get fulltext within 24h
Bibtex

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:

Author
Nils Berg
Nils Berg
Armin Danziger
Armin Danziger
Your rating :
0

 

Tags
Comments
小科