Salsabila, F., Bukhari, F. and Nurdiati, S. 2024. PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM. BAREKENG: Jurnal Ilmu Matematika dan Terapan. 18, 2 (May 2024), 1359-1368. DOI:https://doi.org/10.30598/barekengvol18iss2pp1359-1368.