τ-Bisimulations and Full Abstraction for Refinement of Actions. - Ferroudja Cherief; Philippe Schnoebelen (Inf. Process. Lett., 1991)

Back and Forth Bisimulations On Prime Event Structures. - Ferroudja Cherief (PARLE, 1992)

Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme. - Ferroudja Cherief (1992)