Generalized Synchronization Trees.

James Ferlez, Rance Cleaveland, Steven I. Marcus

Browse the full FOSSACS paper archive.