View of PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM | BAREKENG: Jurnal Ilmu Matematika dan Terapan