Towards an ASM-based Characterization of the Deadlock-freedom Property.

Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio

Browse the full ICSoft paper archive.