Dissertations details

A Logical Foundation for Session-based Concurrent Computation

Jun 2015

Entity: Universidade Nova de Lisboa

Authors: Bernardo Toninho

Supervisors: Luis Caires, Frank Pfenning

Bibtex Key:

ISBN:

Url:

Notes:

DOI:

Publication File: