Formal Reasoning About Distributed Algorithms
By: Marina Waldén
Series: TUCS dissertations -- no. 10, September 1998
Publisher: Turku Centre for Computer Science
Published: 1998
Place of publication: Turku
Language: eng
Notes: Contient en annexe les publications de l'auteur parues dans différentes revues sur ce sujet.

Academic Diss. : Faculty of Mathematics and Natural Sciences : Åbo Akademi University : 1998.

Bibliogr. : p. 24-28.