Graph explorer

Nobuko Yoshida

Nobuko Yoshida contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapNobuko Yoshida
13 nodes12 links
Nobuko Yoshida13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipANobuko YoshidaResearcherWLogical Reasoning for H...preprint / 2008WDeadlock-free asynchron...preprint / 2022WOn the Expressiveness o...preprint / 2022WOn the Expressiveness o...preprint / 2022WMultiparty Symmetric Su...preprint / 2010WMultiparty Compatibilit...preprint / 2013WMultiparty Session Actorspreprint / 2014WTowards Reversible Sess...preprint / 2014WParameterised Multipart...preprint / 2012WGlobally Governed Sessi...preprint / 2015WCharacteristic Formulae...preprint / 2015WUsing session types as ...preprint / 2016
PersonSignal 1012 links

Nobuko Yoshida

Researcher

Open