Communication Dans Un Congrès
Année : 2005
Vincent Danos : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00164585
Soumis le : vendredi 20 juillet 2007-19:36:08
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00164585 , version 1
Citer
Vincent Danos, Jean Krivine. Transactions in RCCS. Sixteenth International Conference on Concurrency Theory (CONCUR'05), 2005, United Kingdom. pp.398-412. ⟨hal-00164585⟩
Collections
121
Consultations
0
Téléchargements