Cristin-resultat-ID: 1363973
Sist endret: 25. juni 2016, 03:04
NVI-rapporteringsår: 2016
Resultat
Vitenskapelig artikkel
2016

A small-step semantics of a concurrent calculus with goroutines and deferred functions

Bidragsytere:
  • Martin Steffen

Tidsskrift

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

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2016
Volum: 9660
Sider: 393 - 406

Importkilder

Scopus-ID: 2-s2.0-84962619145

Beskrivelse Beskrivelse

Tittel

A small-step semantics of a concurrent calculus with goroutines and deferred functions

Bidragsytere

Aktiv cristin-person

Martin Steffen

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