Termination in Session-Based Concurrency via Linear Logical Relations

by Jorge A. Pérez , Luís Caires , Frank Pfenning , Bernardo Toninho
Citations:2 - 2 self