Key points are not available for this paper at this time.
Apresentamos uma nova estrutura para inferência automática de sincronização eficiente em programas concorrentes, uma tarefa que é conhecida por ser difícil e propensa a erros quando feita manualmente.
Vechev et al. (Sun,) estudaram esta questão.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: