Networks of Processes with Parameterized State Space - Baukus, K.; Stahl, K.; Bensalem, S.; Lakhnech, Y. (Electronic notes in theoretical computer science, 2001)