Article Dans Une Revue
Theoretical Computer Science
Année : 2006
Yuxin Deng : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00159656
Soumis le : mardi 3 juillet 2007-17:08:35
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00159656 , version 1
Citer
Yuxin Deng. Towards an algebraic theory of typed mobile processes. Theoretical Computer Science, 2006, 350 (2-3), pp.188-212. ⟨hal-00159656⟩
Collections
38
Consultations
0
Téléchargements