Linear Logical Relations and Observational Equivalences for Session-Based Concurrency

Jorge A Pérez, Luis Caires, Frank Pfenning, Bernardo Toninho,

Journal	Information and Computation (Elsevier)
Publisher	Universitat Politècnica de Catalunya
Journal	Information and Computation (Elsevier)
Publisher	Universitat Politècnica de Catalunya

Publication