Title: Command-response protocols and concurrent software