Comportements de processus, Colloque AFCET " les mathématiques de l'informatique, pp.35-68, 1982. ,
Transductions rationelles [Be 79] J. Berstel Transductions and context-free languages Courcelle Graph rewriting: an algebraic and logic approach, Handbook of TCS, Ca 96] D. Caucal On transition graphs having a decidable monadic theory, pp.1-133, 1979. ,
Greibach Mappings which preserve context sensitive languages, Information and Control 9, pp.563-582, 1966. ,
Ullman Introduction to automata theory, langages and computation, pp.1-284, 1979. ,
DOI : 10.1145/568438.568455
Payet Synchronization product of Linear Bounded Machines, LNCS, vol.1684, pp.362-373, 1999. ,
The theory of ends, pushdown automata, and second-order logic, Theoretical Computer Science, vol.37, pp.51-75, 1985. ,
DOI : 10.1016/0304-3975(85)90087-8