An Unfolding Algorithm for Synchronous Products of Transition Systems.

Javier Esparza, Stefan Rmer

Browse the full CONCUR paper archive.