Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

Files

;

;

;

;

;

;

4 since deposited on 2021-10-24

Acq. date: 2025-10-25

1953 since deposited on 2021-10-24

Acq. date: 2025-10-25