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