armstrong, example with processes