Synthesizing Concurrent Programs Using Answer Set Programming
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti · Fundamenta Informaticae · 2012
We address the problem of the automatic synthesis of concurrent programs within a framework based on Answer Set Programming (ASP). Every concurrent program to be synthesized is specified by providing both the behavioural and the structural properties