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. 299-323 2008 86 Fundam. Inform. 3 http://iospress.metapress.com/content/53156v8550602x73/ db/journals/fuin/fuin86.html#KhomenkoMY08