COMP 6231/BB (Summer 2025): DISTRIBUTED SYSTEM DESIGN