Abstract. In this thesis we introduce a formal model for comparator networks. This model ofers a flexible and concise notation for subtle and complex definitions, theorems, and proof. From this model we derive the beginnings of a general theory for comparator networks, i.e. the definition of properties common to all comparator networks.
Title page and abstract in PDF format.