A Formal Development of a Polychronous Polytimed Coordination Language - CentraleSupélec Accéder directement au contenu
Article Dans Une Revue Archive of Formal Proofs Année : 2019
Fichier non déposé

Dates et versions

hal-04495414 , version 1 (08-03-2024)

Licence

Paternité - Partage selon les Conditions Initiales

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⟩
23 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More