related documents An approach to state space reduction for systems with dynamic process creation Conferences