Consistent modeling of distributed mutual exclusion protocol using optimistic simulation.
VenueBPADS
Year2001
ProceedingsWorkshop on Parallel and Distributed Simulation
DBLP recordconf/pads/LowN01 ↗
Browse the full PADS paper archive.
Browse the full PADS paper archive.