Registered user since Thu 22 Sep 2016
Name:Mauricio Cano
Research interests:Formal Methods, Session Types, Concurrency
Contributions
BEAT 2019 | Two Declarative Approaches for Session-Based Concurrency | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile