Cristin-resultat-ID: 994183
Sist endret: 21. januar 2013, 12:56
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2012

Soundness of a Reasoning System for Asynchronous Communication with Futures

Bidragsytere:
  • Crystal Chang Din og
  • Olaf Owe

Bok

24th Nordic Workshop on Programming Theory

Utgiver

Universitetet i Bergen
NVI-nivå 0
Finn i kanalregisteret

Serie

Reports in Informatics
ISSN 0333-3590

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2012
Hefte: 403
Antall sider: 3

Lenker

original online (doi)

Beskrivelse Beskrivelse

Tittel

Soundness of a Reasoning System for Asynchronous Communication with Futures

Bidragsytere

Crystal Chang Din

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

Olaf Owe

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

Resultatet er en del av Resultatet er en del av

24th Nordic Workshop on Programming Theory.

Wolter, Uwe Egbert; Lamo, Yngve. 2012, Universitetet i Bergen. HVL, UIBRapport
1 - 1 av 1