Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract).

Grard Cc, Alain Finkel

Browse the full CAV paper archive.