A General approach to trace-checking in distributed computing systems
Résumé
Disponible dans les fichiers attachés à ce document
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00074432
Soumis le : mercredi 24 mai 2006-15:17:27
Dernière modification le : vendredi 24 mars 2023-14:52:47
Archivage à long terme le : dimanche 4 avril 2010-21:48:54