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

ETAPS 2019-profile
View general profile