On concurrent behaviors and focusing in linear logic

Autores		Vega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea
Editor		Elsevier
Data		2017
Palavras-chave		Linear logic Concurrent constraint programming Proof systems Focusing Multi-focusing Fixed points
Citação		OLARTE, 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.026
Resumo
URI		https://repositorio.ufrn.br/jspui/handle/123456789/29725