Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.

Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Browse the full CAV paper archive.