Cristin-resultat-ID: 2263524
Sist endret: 24. april 2024, 09:35
Resultat
Vitenskapelig artikkel
2024

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Bidragsytere:
  • Crystal Chang Din
  • Reiner Hähnle
  • Ludovic Henrio
  • Einar Broch Johnsen
  • Violet Ka I Pun og
  • Silvia Lizeth Tapia Tarifa

Tidsskrift

ACM Transactions on Programming Languages and Systems
ISSN 0164-0925
e-ISSN 1558-4593
NVI-nivå 2
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2024
Publisert online: 2024
Trykket: 2024
Volum: 46
Hefte: 1
Sider: 1 - 58
Open Access

Lenker

original online (doi)

Institusjonsarkiv

hdl.handle.net/10852/110698

Importkilder

Scopus-ID: 2-s2.0-85189238395

Beskrivelse Beskrivelse

Tittel

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Bidragsytere

Crystal Chang Din

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen

Reiner Hähnle

  • Tilknyttet:
    Forfatter

Ludovic Henrio

  • Tilknyttet:
    Forfatter

Einar Broch Johnsen

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo

Violet Ka I Pun

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
1 - 5 av 6 | Neste | Siste »