Nicoleta Sergent
Probabilistic Guarantees on the Termination Time of a Consensus Algorithm in Asynchronous Systems N. Sergent This paper is concerned with an application of Hierarchical Coloured Timed Petri Nets to the modelling and the performance evaluation of a distribu ...
1997