Linear Logical Relations for Session-Based Concurrency.

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

Browse the full ESOP paper archive.