Login / Signup
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.
Nina Yevtushenko
Khaled El-Fakih
Tiziano Villa
Jie-Hong R. Jiang
Published in:
Comput. J. (2015)
Keyphrases
</>
deadlock free
cellular automata
routing algorithm
concurrency control