Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Classification of ExtensionsExplores the classification of extensions in group theory, emphasizing split extensions and semi-direct products.
Simulation RelationsCovers transition systems, behavior equivalence, and system refinement for system modeling and verification.