Keyword:Lamport clocks

Publications
Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows and José Meseguer In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning