DMCA

Unfolding Concurrent Well-Structured Transition Systems ⋆

by Frédéric Herbreteau , Grégoire Sutre , The Quang Tran