Verification of Unbounded Client-Server Systems with Distinguishable Clients

Ramchandra Phawade, Tephilla Prince, S Sheerazuddin

Client-server systems are a computing paradigm in concurrent and distributed systems. We deal with unbounded client-server systems (UCS) where all clients are of the same type, int…