Nobuko Yoshida - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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