Transition refinement for deriving a distributed minimum weight spanning tree algorithm

---

Autoria(s): Peuker, Sibylle

Contribuinte(s)	J. Esparza C. Lakos
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:97096
Idioma(s)	eng
Publicador	Springer
Palavras-Chave	#algorithm #Gallager #Humblet #Spira #new correctness proof #new model #Algebraic Petri nets #transition refinement #E1 #700199 Computer software and services not elsewhere classified #280401 Analysis of Algorithms and Complexity
Tipo	Conference Paper