Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. Symbolic Model Checking Commitment Protocols Using Reduction. In Andrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos, editors, Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers. Volume 6619 of Lecture Notes in Computer Science, pages 185-203, Springer, 2010. [doi]
Abstract is missing.