Article Dans Une Revue
Archive of Formal Proofs
Année : 2019
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 21 mars 2025-03:15:33
Dates et versions
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
237
Consultations
0
Téléchargements
