Deriving Compositionally Deadlock-free Componenets over Synchronous Automata Compositions

Journal

The Computer Journal

Journal Volume

58

Journal Issue

11

Pages

2793-2803

Date Issued

2015-11

Author(s)

Nina Yevtushenko

Khaled El-Fakih

Tiziano Villa

Jie-Hong R. Jiang

DOI

URI

Type

journal article