// INTERACTIVE DISTRIBUTED SYSTEMS LEARNING LAB
Add processes and events to get started
Processes advance left to right. Each dot is a local, send, or receive event; message arrows show the happens-before links.