Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio. Towards an ASM-based Characterization of the Deadlock-freedom Property. In Leszek A. Maciaszek, Jorge Cardoso, André Ludwig, Marten van Sinderen, Enrique Cabello, editors, Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24 - 26, 2016. pages 123-130, SciTePress, 2016. [doi]
Abstract is missing.