(Promela) Refinements to how to generate input sequences and describe the state of an actor partition.