Deriving Compositionally Deadlock-free Componenets over Synchronous Automata Compositions

Nina YevtushenkoKhaled El-FakihTiziano VillaJie-Hong R. JiangJIE-HONG JIANG2018-09-102018-09-102015-11http://scholars.lib.ntu.edu.tw/handle/123456789/394744Deriving Compositionally Deadlock-free Componenets over Synchronous Automata Compositionsjournal article10.1093/comjnl/bxu1172-s2.0-84946512582WOS:000365157000001