Consistent modeling of distributed mutual exclusion protocol using optimistic simulation
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Fast concurrency control for distributed inverted files
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Modelling Search Engines Performance Using Coloured Petri Nets
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Hi-index | 0.00 |