SPLASH 2016 (series) / Mauricio Cano
Registered user since Thu 22 Sep 2016
Name:Mauricio Cano
Research interests:Formal Methods, Session Types, Concurrency
Contributions
| REBLS 2016 | A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2016-profile
View general profile
View general profile