Fixed points in conjunctive networks and maximal independent sets in graph contractions

Julio Aracena, Adrien Richard, Lilian Salinas. Fixed points in conjunctive networks and maximal independent sets in graph contractions. J. Comput. Syst. Sci., 88:145-163, 2017. [doi]

Abstract

Abstract is missing.