Login

Publication

Detail

Publication date: 01/06/2015

A Logical Foundation for Session-based Concurrent Computation

Authors

Bernardo Toninho, Luis Caires, Frank Pfenning,
Entity Universidade Nova de Lisboa
Category PhD
Entity Universidade Nova de Lisboa
Category PhD