concurrent process models and state machines 3552159