Cristin-resultat-ID: 2263530
Sist endret: 23. april 2024, 10:13
Resultat
Vitenskapelig artikkel
2024

Proving Correctness of Parallel Implementations of Transition System Models

Bidragsytere:
  • Frank de Boer
  • 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
Under utgivelse/in press
Publiseringsår: 2024
Publisert online: 2024
Trykket: 2024

Lenker

original online (doi)

Beskrivelse Beskrivelse

Tittel

Proving Correctness of Parallel Implementations of Transition System Models

Bidragsytere

Frank de Boer

  • 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

Silvia Lizeth Tapia Tarifa

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
1 - 4 av 4