Sara Gradara Antonella Santone Maria Luisa Villani DELFIN<sup>+</sup>: An efficient deadlock detection tool for CCS processes. 1397-1412 2006 72 J. Comput. Syst. Sci. 8 http://dx.doi.org/10.1016/j.jcss.2006.03.003 db/journals/jcss/jcss72.html#GradaraSV06