Vega, Carlos Alberto OlartePimentel, Elaine Gouvea2020-07-242020-07-242017OLARTE, C.; PIMENTEL, E.. On concurrent behaviors and focusing in linear logic.Theoretical Computer Science, v. 685, p. 46-64, 2017. DisponÃvel em: https://www.sciencedirect.com/science/article/pii/S0304397516304832?via%3Dihub. Acesso em: 21 jul. 2020. https://doi.org/10.1016/j.tcs.2016.08.0260304-3975https://repositorio.ufrn.br/jspui/handle/123456789/29725Attribution 3.0 Brazilhttp://creativecommons.org/licenses/by/3.0/br/Linear logicConcurrent constraint programmingProof systemsFocusingMulti-focusingFixed pointsOn concurrent behaviors and focusing in linear logicarticle10.1016/j.tcs.2016.08.026