On subexponentials, focusing and modalities in concurrent systems

Vivek Nigam, Carlos Olarte, Elaine Pimentel. On subexponentials, focusing and modalities in concurrent systems. Theoretical Computer Science, 693:35-58, 2017. [doi]

Abstract

Abstract is missing.