Decomposition of transition systems into sets of synchronizing state machines.

Viktor Teren, Jordi Cortadella, Tiziano Villa

Browse the full DSD paper archive.