Article Dans Une Revue
Journal of Automata Languages and Combinatorics
Année : 1997
Irene Guessarian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00020691
Soumis le : mardi 14 mars 2006-15:40:39
Dernière modification le : jeudi 29 juin 2023-10:16:26
Dates et versions
Identifiants
- HAL Id : hal-00020691 , version 1
Citer
Irene Guessarian, Jozef Gruska. Fixpoint semantics of synchronous systems and correctness of their basic transformations. Journal of Automata Languages and Combinatorics, 1997, 2, pp.93-133. ⟨hal-00020691⟩
Collections
17
Consultations
0
Téléchargements