Cristin-resultat-ID: 1610107
Sist endret: 5. november 2018, 13:35
NVI-rapporteringsår: 2018
Resultat
Vitenskapelig artikkel
2018

Operational Semantics of a Weak Memory Model with Channel Synchronization

Bidragsytere:
  • Daniel Schnetzer Fava
  • Martin Steffen og
  • Volker Stolz

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2018
Volum: 10951 LNCS
Sider: 258 - 276

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85050354835

Beskrivelse Beskrivelse

Tittel

Operational Semantics of a Weak Memory Model with Channel Synchronization

Bidragsytere

Daniel Schnetzer Fava

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
Aktiv cristin-person

Martin Steffen

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
1 - 3 av 3