Item

ITEM ACTIONS

This item is discarded!DetailsSummary

Discarded

Journal Article

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

MPS-Authors

/persons/resource/persons144775

Kaiser, Jan-Oliver
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons215610

Dang, Hoang-Hai
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144520

Dreyer, Derek
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144778

Lahav, Ori
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144538

Vafeiadis, Viktor
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

(No access)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

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.

Abstract

There is no abstract available