Formalization of DLP(a decentralized locking protocol) using abstract data types
Abstract
Disponible dans les fichiers attachés à ce document
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00076461
Submitted on : Wednesday, May 24, 2006-9:06:00 PM
Last modification on : Thursday, February 15, 2024-3:32:15 AM
Long-term archiving on: Friday, May 13, 2011-8:44:33 PM