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