"On concurrent behaviors and focusing in linear logic."

Carlos Olarte, Elaine Pimentel (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics