Full Abstraction in a Subtyped pi-Calculus with Linear Types.

Romain Demangeon, Kohei Honda

Browse the full CONCUR paper archive.