Domain-Aware Session Types.

Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho

Browse the full CONCUR paper archive.