COMP 6231/F (Winter 2024): DISTRIBUTED SYSTEM DESIGN