Communicative commitments: Model checking and complexity analysis

Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli. Communicative commitments: Model checking and complexity analysis. Knowl.-Based Syst., 35:21-34, 2012. [doi]

Abstract

Abstract is missing.