Linear logical relations and observational equivalences for session-based concurrency

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

URL	https://www.sciencedirect.com/science/article/pii/S089054011400100X?via%3Dihub
Journal	Information and Computation (Elsevier)
Publisher	Universitat Politècnica de Catalunya
Volume	239
URL	https://www.sciencedirect.com/science/article/pii/S089054011400100X?via%3Dihub
Journal	Information and Computation (Elsevier)
Publisher	Universitat Politècnica de Catalunya
Volume	239

Publication