Conditional Commitments: Reasoning and Model Checking

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli. Conditional Commitments: Reasoning and Model Checking. ACM Transactions on Software Engineering Methodology, 24(2):9, 2014. [doi]

Abstract

Abstract is missing.