Mobility
Reading
Group
π-calculus, Session Types research at Imperial College
Home
People
Publications
Grants
Talks
Tutorials
Tools
Awards
Kohei Honda
Publications
By year:
2019
2018
2017
2017
2016
2015
2014
2014
2013
2012
2011
2010
2009
2008
2019
Mario Bravetti, Marco Carbone,
Julien Lange
,
Nobuko Yoshida
, Gianluigi Zavattaro
:
A Sound Algorithm for Asynchronous Session Subtyping
.
To appear in
CONCUR 19
.
Laura Bocchi
, Maurizio Murgia, Vasco Thudichum Vasconcelos,
Nobuko Yoshida
:
Asynchronous Timed Session Types
.
ESOP 2019
: 583 - 610
.
Simon Castellan
,
Nobuko Yoshida
:
Causality in Linear Logic
.
FoSSaCS 2019
: 150 - 168
.
Nicola Atzei, Massimo Bartoletti, Stefano Lande,
Nobuko Yoshida
, Roberto Zunino
:
Developing secure Bitcoin contracts with BitML.
.
To appear in
ESEC/FSE 2019
.
David Castro
,
Raymond Hu
, Sung-Shik Jongmans,
Nicholas Ng
,
Nobuko Yoshida
:
Distributed Programming Using Role Parametric Session Types in Go
.
POPL 2019
: 29:1 - 29:30
.
Tiago Cogumbreiro
,
Raymond Hu
, Francisco Martins,
Nobuko Yoshida
:
Dynamic deadlock verification for general barrier synchronisation
.
TOPLAS
: 1 - 38
.
Rumyana Neykova
,
Nobuko Yoshida
:
Featherweight Scribble
.
ROCCO65
: 236 - 259
.
Alceste Scalas
,
Nobuko Yoshida
:
Less Is More: Multiparty Session Types Revisited
.
POPL 2019
: 30:1 - 30:29
.
Jonathan King,
Nicholas Ng
,
Nobuko Yoshida
:
Multiparty Session Type-safe Web Development with Static Linearity
.
PLACES 2019
: 35 - 46
.
Dimitrios Kouzapas
, Jorge A. Pérez,
Nobuko Yoshida
:
On the Relative Expressiveness of Higher-Order Session Processes
.
IC
: 1 - 54
.
Bernardo Toninho
,
Nobuko Yoshida
:
Polymorphic Session Processes as Morphisms
.
To appear in
FC
.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic,
Alceste Scalas
,
Nobuko Yoshida
:
Precise subtyping for synchronous multiparty sessions
.
JLAMP
: 127 - 173
.
Simon Castellan
, Hugo Paquet
:
Probabilistic Programming Inference via Intensional Semantics
.
ESOP 2019
: 322 - 349
.
Assel Altayeva
,
Nobuko Yoshida
:
Service Equivalence via Multiparty Session Type Isomorphisms
.
PLACES 2019
: 1 - 11
.
Keigo Imai,
Nobuko Yoshida
, Shoji Yuen
:
Session-Ocaml: a Session-based Library with Polarities and Lenses
.
scico
: 1 - 50
.
Eva Graversen
, Iain Phillips,
Nobuko Yoshida
:
Towards a Categorical Representation of Reversible Event Structures
.
JLAMP
: 16 - 59
.
Simon Castellan
,
Nobuko Yoshida
:
Two Sides of the Same Coin: Session Types and Game Semantics
.
POPL 2019
: 27:1 - 27:29
.
Julien Lange
,
Nobuko Yoshida
:
Verifying Asynchronous Interactions via Communicating Session Automata
.
CAV 2019
: 117 - 97
.
Alceste Scalas
,
Nobuko Yoshida
, Elias Benussi
:
Verifying message-passing programs with dependent behavioural types
.
PLDI 2019
: 516 - 502
.
2018
Doriana Medic, Claudio Antares Mezzina, Iain Phillips,
Nobuko Yoshida
:
A Parametric Framework for Reversible Pi-Calculi
.
EXPRESS/SOS'18
: 87 - 103
.
Rumyana Neykova
,
Raymond Hu
,
Nobuko Yoshida
, Fahd Abdeljallal
:
A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F#
.
CC 2018
: 128 - 138
.
Julien Lange
,
Nicholas Ng
,
Bernardo Toninho
,
Nobuko Yoshida
:
A Static Verification Framework for Message Passing in Go using Behavioural Types
.
ICSE 2018
: 1137 - 1148
.
Malte Viering,
Tzu-Chun Chen
, Patrick Eugster,
Raymond Hu
, Lukasz Ziarek
:
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
.
ESOP 2018
: 799 - 826
.
Romain Demangeon
,
Nobuko Yoshida
:
Causal Computational Complexity of Distributed Processes
.
LICS 2018
: 344 - 353
.
Juliana Franco
, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
:
Correctness of a Concurrent Object Collector for Actor Languages
.
ESOP 2018
: 885 - 911
.
Bernardo Toninho
,
Nobuko Yoshida
:
Depending On Session Typed Process
.
FoSSaCS 2018
: 128 - 145
.
Eva Graversen
, Iain Phillips,
Nobuko Yoshida
:
Event Structure Semantics of (controlled) Reversible CCS
.
RC 2018
: 122 - 102
.
Bernardo Toninho
,
Nobuko Yoshida
:
Interconnectability of Session Based Logical Processes
.
TOPLAS
: 1 - 42
.
Alceste Scalas
,
Nobuko Yoshida
:
Multiparty Session Types, Beyond Duality
.
JLAMP
: 55 - 84
.
Simon Castellan
, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
:
Non Angelic Concurrent Game Semantics
.
FoSSaCS 2018
: 3 - 19
.
Bernardo Toninho
,
Nobuko Yoshida
:
On Polymorphic Sessions And Functions: A Tale of Two (Fully Abstract) Encodings
.
ESOP 2018
: 827 - 855
.
Simon Castellan
, Pierre Clairambault, Hugo Paquet, Glynn Winksel
:
The Concurrent Game Semantics of Probabilistic PCF
.
LICS 2018
: 215 - 224
.
2017
Laura Bocchi
,
Tzu-Chun Chen
,
Romain Demangeon
, Kohei Honda,
Nobuko Yoshida
:
Monitoring Networks through Multiparty Session Types
.
TCS
: 33 - 58
.
Rumyana Neykova
,
Laura Bocchi
,
Nobuko Yoshida
:
Timed Runtime Monitoring for Multiparty Conversations
.
FAOC
: 1 - 34
.
Alceste Scalas
, Ornela Dardha,
Raymond Hu
,
Nobuko Yoshida
:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
.
ECOOP 2017
: 24:1 - 24:31
.
Julien Lange
, Emilio Tuosto,
Nobuko Yoshida
:
A Tool for Choreography-Based Analysis of Message-Passing Software
.
Behavioural Types: from Theory to Tools
: 125 - 146
.
Bernardo Toninho
,
Nobuko Yoshida
:
Certifying data in multiparty session types
.
JLAMP
.
Dimitrios Kouzapas
, Jorge A. Pérez,
Nobuko Yoshida
:
Characteristic Bisimulation for Higher-Order Session Processes
.
Acta Inf.
: 271 - 341
.
Simon Castellan
:
Concurrent Structures in Game Semantics
.
The Concurrency Column, EATCS Bulletin
: 1 - 31
.
Vasco T. Vasconcelos, Francisco Martins, Eduardo R.B. Marques,
Nobuko Yoshida
,
Nicholas Ng
:
Deductive Verification of MPI Protocols
.
Behavioural Types: from Theory to Tools
: 353 - 372
.
Raymond Hu
:
Distributed Programming Using Java APIs Generated from Session Types
.
Behavioural Types: from Theory to Tools
: 287 - 308
.
Raymond Hu
,
Nobuko Yoshida
:
Explicit Connection Actions in Multiparty Session Types
.
FASE 2017
: 116 - 133
.
Julien Lange
,
Nicholas Ng
,
Bernardo Toninho
,
Nobuko Yoshida
:
Fencing off Go: Liveness and Safety for Channel-based Programming
.
POPL 2017
: 748 - 761
.
Massimo Bartoletti,
Alceste Scalas
, Emilio Tuosto, Roberto Zunino
:
Honesty by Typing
.
LMCS
.
Rumyana Neykova
,
Nobuko Yoshida
:
How to Verify Your Python Conversations
.
Behavioural Types: from Theory to Tools
: 77 - 98
.
Rumyana Neykova
,
Nobuko Yoshida
:
Let It Recover: Multiparty Protocol-Induced Recovery
.
CC 2017
: 98 - 108
.
Rumyana Neykova
,
Nobuko Yoshida
:
Multiparty Session Actors
.
LMCS
: 1 - 30
.
Alceste Scalas
,
Nobuko Yoshida
:
Multiparty Session Types, Beyond Duality
.
PLACES 2017
: 37 - 38
.
Marco Carbone, Fabrizio Montesi, Carsten Schürmann,
Nobuko Yoshida
:
Multiparty session types as coherence proofs
.
Acta Inf.
: 1 - 27
.
Tzu-Chun Chen
, Mariangiola Dezani-Ciancaglini,
Alceste Scalas
,
Nobuko Yoshida
:
On the Preciseness of Subtyping in Session Types
.
LMCS
: 1 - 62
.
Next 50