Nested Protocols in Session Types.

Romain Demangeon, Kohei Honda

Browse the full CONCUR paper archive.