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

ECOOP 2020	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
SPLASH 2020	Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track