Unfolding Concurrent Well-Structured Transition Systems.

Frdric Herbreteau, Grgoire Sutre, The Quang Tran

Browse the full TACAS paper archive.