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

Information Technology

Research output: Types of Thesis › Licenciate's thesis

Original language	English
Awarding Institution	Åbo Akademi University
Supervisors/Advisors	Sere, Kaisa, Supervisor, External person Back, Ralph-Johan, Supervisor
Place of Publication	Turku
Publisher	Åbo Akademi University
Publication status	Published - Apr 1996
MoE publication type	G3 Licentiate thesis

Cite this

@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",

}