Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes.

Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi

Browse the full CONCUR paper archive.