Zahir Tari Verification of Communication Protocols in Web Services. Model-Checking Service Compositions Подробнее