An Algebraic Method For Verifying Progress Property of Communication Protocols