Labelled calculi of resources

Maribel Fernández, Nikolaos Siafakas. Labelled calculi of resources. Journal of Logic and Computation, 24(3):591-613, 2014. [doi]

Abstract

Abstract is missing.