conf.researchr.org / Keigo Imai
Registered user since Thu 2 Jun 2016
Name:Keigo Imai
Country:Japan
Affiliation:Gifu University
Personal website: https://keigoimai.info/
Research interests:Concurrency, Behavioural types, Session types, Process calculi, Programming languages
Contributions
2022
2020
SPLASH
ECOOP
- Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track
- Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track
- Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track