Computer-assisted verification of an algorithm for concurrent timestamps

Authors:
Tsvetomir P. Petrov;Anna Pogosyants;Stephen J. Garland;Victor Luchangco;Nancy A. Lynch
Affiliations:
-;-;-;-;-
Venue:
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Year:
1996

A Simple, Memory-Efficient Bounded Concurrent Timestamping Algorithm

ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation
Avoiding State Explosion for Distributed Systems with Timestamps

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
I/O Automaton Models and Proofs for Shared-Key Communication Systems

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations

Hi-index	0.00