Florent Avellaneda, Rémi Morin. Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers. In Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi, editors, 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. pages 19-28, IEEE, 2011. [doi]
Abstract is missing.