Superposition som en metod för att resonera om distribuerade algoritmer: Superposition as a method to reason about distributed algorithms

Marina Walden

Superposition som en metod för att resonera om distribuerade algoritmer: Superposition as a method to reason about distributed algorithms

Informaatioteknologia

Tutkimustuotos: Väitöskirjatyypit › Lisensiaatin tutkielma

Alkuperäiskieli	Englanti
Myöntävä instituutio	Åbo Akademi
Ohjaaja	Sere, Kaisa, Valvoja, Ulkoinen henkilö Back, Ralph-Johan, Valvoja
Julkaisupaikka	Turku
Kustantaja	Åbo Akademi University
Tila	Julkaistu - huhtik. 1996
OKM-julkaisutyyppi	G3 Lisensiaatintutkimus

Viittausmuodot

@phdthesis{d624cb745ae546b2b000a3efb46f8eea,

title = "Superposition som en metod f{\"o}r att resonera om distribuerade algoritmer: Superposition as a method to reason about distributed algorithms",

author = "Marina Walden",

year = "1996",

month = apr,

language = "English",

publisher = "{\AA}bo Akademi University",

address = "Finland",

type = "Licenciate's thesis",

school = "{\AA}bo Akademi University",

}