This page lists the transition systems that lead to the Minimum Spanning Tree algorithm through successive refinement of systems.

1. Minimum Spanning Tree (Arbitrary)
2. Minimum Spanning Tree Via Prim's Algorithm
3. Minimum Spanning Tree Via Kruskal's Algorithm

The development of this lab has been supported by CEMCA