M. Walichiewicz and A. Milik, “Analysis of Coprocessor-based Acceleration for Hardware-based Semaphore Concurrency Control”, ijet, vol. 72, no. 3, pp. 1–11, Jul. 2026.