D. Caucal. Graphes canoniques de graphes alg#briques. Informatique Th#orique et Applications (RAIRO), 24(4):339352, 1990.  Home/Search   Document Not in Database   Summary   Related Articles

.... technique onto weak bisimilarities (where a special action, called silent action, is distinguished from the others and partially ignored in the bisimilarity clause) has been studied by Milner and Sangiorgi [SM92] Two special cases of the up to context technique had been previously put forward: In [Cau90], Caucal 4 denes a notion of self bisimulation in the setting of BPA processes (they can be viewed as the processes generated by a context free grammar) which allows him to eliminate common prexes and suOExes in the derivatives of two processes. Self bisimulations have been used in [Cau90] as ....

....In [Cau90] Caucal 4 denes a notion of self bisimulation in the setting of BPA processes (they can be viewed as the processes generated by a context free grammar) which allows him to eliminate common prexes and suOExes in the derivatives of two processes. Self bisimulations have been used in [Cau90], as well as in a number of other papers (e.g. CHS95; HJM96] to establish decidability results for the classes of BPA and BPP processes (roughly, the latter dioeer from the former in that the composition operator is commutative) Another form of up to context technique is Milner, Parrow and ....

D. Caucal. Graphes canoniques de graphes alg#briques. Informatique Th#orique et Applications (RAIRO), 24(4):339352, 1990.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC