Local Livelock Analysis of Component-Based Models
['Madiel S. Conserva Filho', 'Marcel Vinicius Medeiros Oliveira', 'Augusto Sampaio', 'Ana Cavalcanti']
Local Livelock Analysis of Component-Based Models