@techreport{caucal:inria-00077029, TITLE = {{Branching bisimulation for context-free processes}}, AUTHOR = {Caucal, Didier and Huynh, Dung and Tian, Lu}, URL = {https://inria.hal.science/inria-00077029}, TYPE = {Research Report}, NUMBER = {RR-1789}, INSTITUTION = {{INRIA}}, YEAR = {1992}, PDF = {https://inria.hal.science/inria-00077029/file/RR-1789.pdf}, HAL_ID = {inria-00077029}, HAL_VERSION = {v1}, }