Media type: E-Article Title: Lecture Notes in Computer Science: Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm Contributor: Peuker, Sibylle Published: Springer Berlin Heidelberg, 2002 Published in: Lecture Notes in Computer Science (2002), Seite 374-393 Language: Without Specification DOI: 10.1007/3-540-48068-4_22 ISBN: 9783540437871; 9783540480686 ISSN: 0302-9743 Origination: Footnote: