Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.

Victor Khomenko Agnes Madalinski Alexandre Yakovlev Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. 57-68 2006 conf/acsd/2006 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.21 db/conf/acsd/acsd2006.html#KhomenkoMY06