Text this: Desing and analysis of distributed algorithms