A Logical Foundation for Session-based Concurrent Computation

Authors

Bernardo Toninho, Luis Caires, Frank Pfenning,