Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’

First Page		Document Content
Date: 2012-10-22 15:02:02		Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’ Add to Reading List Source URL: www.sci.unich.it Download Document from Source Website File Size: 629,22 KB Share Document on Facebook