Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions

作者：Yevtushenko Nina; El Fakih Khaled^*; Villa Tiziano; Jiang Jie Hong R

来源：Computer Journal, 2015, 58(11): 2793-2803.

DOI：10.1093/comjnl/bxu117

• formal methods
• submodule construction
• compositionally deadlock-free or compositionally progressive solutions to automata equations
• the unknown component problem

The composition of two arbitrary component automata can have deadlock states. A method is proposed to minimally reduce a component automaton such that the resulting composition with the other automaton is deadlock-free. The method is applied to deriving compositionally deadlock-free solutions of automata equations over the synchronous composition.

• 出版日期2015-11