Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

1 Résultat
authFullName_s : Dung Huynh
Image document

Branching bisimulation for context-free processes

Didier Caucal , Dung Huynh , Lu Tian
[Research Report] RR-1789, INRIA. 1992
Reports inria-00077029v1