Not registered as user yet

Name: Ross Horne

Affiliation: Computer Science and Communications Research Unit, University of Luxembourg

Contributions

BEAT 2019Author of Global Types with Internal Delegation within the BEAT 2019-track