Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues