Context-Free Event Domains are Recognizable.

Eric Badouel Philippe Darondeau Jean-Claude Raoult Context-Free Event Domains are Recognizable. 214-229 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#BadouelDR95