Deciding Branching Bimiliarity of Normed Context-Free Processes Is in /Sigma^ p_2

Didier Caucal, Dung T. Huynh, Lu Tian. Deciding Branching Bimiliarity of Normed Context-Free Processes Is in /Sigma^ p_2. Inf. Comput., 118(2):306-315, May 1995.

Abstract

Abstract is missing.