Title: Proving properties of processes