Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)

Dieser Datensatz wurde verworfen!DetailsÜbersicht

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)

Kaiser, J.-O., Dang, H.-H., Dreyer, D., Lahav, O., & Vafeiadis, V. (2017). Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact). Dagstuhl Artifacts Series, 3(1): 15, pp. 1-2. doi:10.4230/DARTS.3.2.15.

Item is Verworfen

Basisdaten (Verworfen)

Datum des Verwerfens: 2021-07-22

Kommentar: Dublette

Urheber:
Kaiser, Jan-Oliver¹
Dang, Hoang-Hai¹
Dreyer, Derek¹
Lahav, Ori²
Vafeiadis, Viktor²

Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286
2Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105293

Datum: Online veröffentlicht: 2017

Dateien: 0 Dateien

Externe Referenzen: 2 ext. Referenzen

Versions ID: item_2543092_1

Status des Datensatzes: Verworfen

Name des Kontextes: Publications of the Max Planck Institute for Software Systems, Zugehörig zu: Max Planck Institute for Software Systems