Began refactoring for a list of names as a message. Began refactoring so that parallel composition is n-ary and the completed process is an empty parallel composition.