Types for Complexity of Parallel Computation in Pi-Calculus.

Patrick Baillot, Alexis Ghyselen

Browse the full ESOP paper archive.