Article Dans Une Revue
Archive of Formal Proofs
Année : 2019
Frédéric Boulanger : Connectez-vous pour contacter le contributeur
https://centralesupelec.hal.science/hal-04495414
Soumis le : vendredi 8 mars 2024-11:23:03
Dernière modification le : vendredi 17 mai 2024-16:22:05
Dates et versions
Licence
Identifiants
- HAL Id : hal-04495414 , version 1
Citer
Frédéric Boulanger, Burkhart Wolff, Hai Nguyen Van. A Formal Development of a Polychronous Polytimed Coordination Language. Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/TESL_Language.html. ⟨hal-04495414⟩
Collections
58
Consultations
0
Téléchargements