ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Nobuko Yoshida
Nobuko Yoshida

Registered user since Sat 8 Aug 2015

Name: Nobuko Yoshida

Affiliation: Imperial College London

Contributions

PLACES 2019Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track
Author of Multiparty session type-safe web development with static linearity within the PLACES-track
Author of Service Equivalence via Multiparty Session Type Isomorphisms within the PLACES-track
GaLoP 2019Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track
FOSSACS 2019Author of Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) within the FOSSACS 2019-track
ESOP 2019Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track
ETAPS 2019Author of Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms within the Posters-track
Show activities from other conferences

ETAPS 2019-profile
View general profile