English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Basic

show hide
Item Permalink: http://hdl.handle.net/21.11116/0000-0000-7709-1 Version Permalink: http://hdl.handle.net/21.11116/0000-0000-770A-0
Genre: Journal Article

Files

show Files

Locators

show
hide
Description:
-
Locator:
http://drops.dagstuhl.de/doku/urheberrecht1.html (Copyright transfer agreement)
Description:
-

Creators

show
hide
 Creators:
Kaiser, Jan-Oliver1, Author              
Dang, Hoang-Hai1, Author              
Dreyer, Derek1, Author              
Lahav, Ori2, Author              
Vafeiadis, Viktor2, Author              
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              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2017
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Method: -
 Identifiers: BibTex Citekey: KaiserDARTS2017
URN: urn:nbn:de:0030-drops-72966
DOI: 10.4230/DARTS.3.2.15
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Dagstuhl Artifacts Series
  Abbreviation : DARTS
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: Wadern : Schloss Dagstuhl
Pages: - Volume / Issue: 3 (1) Sequence Number: 15 Start / End Page: 1 - 2 Identifier: ISSN: 2509-8195