Unfolding Concurrent Well-Structured Transition Systems. - Frédéric Herbreteau; Grégoire Sutre; The Quang Tran (TACAS, 2007)