Communication Dans Un Congrès
Année : 2009
Giuseppe Castagna : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00700685
Soumis le : mercredi 23 mai 2012-16:22:46
Dernière modification le : mardi 9 janvier 2024-12:34:04
Dates et versions
Identifiants
- HAL Id : hal-00700685 , version 1
Citer
Giuseppe Castagna, Luca Padovani. A preliminary proposal of decidable testing relations for infinitary asynchronous CCS (position paper). INFINITY 2009: 11th International Workshop on Verification of Infinite-State Systems, 2009, France. ⟨hal-00700685⟩
Collections
34
Consultations
0
Téléchargements