Yuankai Chen, Hai Zhou. Synthesis of resilient circuits from guarded atomic actions. In The 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015, Chiba, Japan, January 19-22, 2015. pages 550-555, IEEE, 2015. [doi]
Abstract is missing.