I hoped it was about composition of communicating finite state machines.