"On subexponentials, focusing and modalities in concurrent systems."

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