Hi, I'm new to pluscal and i'm trying to test a multiprocess algorithm. Every process is supposed to run one time and then terminate. My problem is that process statement with \in keeps creating new processes (with the same id) after termination. how can i limit the number of runs to one? Thanks. Yuval