Around Classical and Intuitionistic Linear Processes.

Juan C. Jaramillo, Dan Frumin, Jorge A. Prez

Browse the full CONCUR paper archive.