MIAOw: a Method to Integrate a Process Algebra with Formal Data
Résumé
no abstract
Article Dans Une Revue
Informatica
Année : 2004
Coloss Lina : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00444078
Soumis le : mardi 5 janvier 2010-16:03:42
Dernière modification le : vendredi 5 janvier 2024-03:25:26
Dates et versions
Identifiants
- HAL Id : hal-00444078 , version 1
Citer
Gwen Salaün, Christian Attiogbé. MIAOw: a Method to Integrate a Process Algebra with Formal Data. Informatica, 2004, 28 (2), pp.207--219. ⟨hal-00444078⟩
Collections
59
Consultations
0
Téléchargements