| |
| 1992 | ||
|---|---|---|
| 2 | Ferroudja Cherief: Back and Forth Bisimulations On Prime Event Structures. PARLE 1992: 843-858 | |
| 1991 | ||
| 1 | Ferroudja Cherief, Ph. Schnoebelen: \tau-Bisimulations and Full Abstraction for Refinement of Actions. Inf. Process. Lett. 40(4): 219-222 (1991) | |
| 1 | Ph. Schnoebelen | [1] |