Detail

Publication date: 1 de June, 2021

Universidade Nova de Lisboa – A Logical Foundation for Session-based Concurrent Computation

---