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

2019

ESOP

Asynchronous timed session types: duality and time-sensitive processes

ETAPS

Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms

FOSSACS

Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment)

GaLoP

A game semantics understanding of asynchronous multiparty session types subtyping

PLACES

Show activities from other conferences

ETAPS 2019-profile
View general profile