Optimal Reduction in Weak-λ-calculus with Shared Environments. - Nobuko Yoshida (FPCA, 1993)

On Reduction-Based Semantics. - Kohei Honda 001; Nobuko Yoshida (FSTTCS, 1993)

Combinatory Representation of Mobile Processes. - Kohei Honda 001; Nobuko Yoshida (POPL, 1994)

Replication in Concurrent Combinators. - Kohei Honda 001; Nobuko Yoshida (TACS, 1994)

Graph Notation for Concurrent Combinators. - Nobuko Yoshida (Theory and Practice of Parallel Programming, 1994)

On Reduction-Based Process Semantics. - Kohei Honda 001; Nobuko Yoshida (Theor. Comput. Sci., 1995)

Graph Types for Monadic Mobile Processes. - Nobuko Yoshida (FSTTCS, 1996)

Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). - Nobuko Yoshida (CONCUR, 1998)

Suptyping and Locality in Distributed Higher Order Processes (extended abstract). - Nobuko Yoshida; Matthew Hennessy (CONCUR, 1999)

Game-Theoretic Analysis of Call-by-Value Computation. - Kohei Honda 001; Nobuko Yoshida (Theor. Comput. Sci., 1999)

Secure Information Flow as Typed Process Behaviour. - Kohei Honda 001; Vasco Thudichum Vasconcelos; Nobuko Yoshida (ESOP, 2000)

Sequentiality and the pi-Calculus. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (TLCA, 2001)

Dynamic Channel Screening in the Higher Order pi-Calculus. - José-Luis Vivas; Nobuko Yoshida (F-WAN@ICALP, 2002)

Assigning Types to Processes. - Nobuko Yoshida; Matthew Hennessy (Inf. Comput., 2002)

Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators. - Nobuko Yoshida (Theor. Comput. Sci., 2002)

A Distributed Abstract Machine for Boxed Ambient Calculi. - Andrew Phillips; Nobuko Yoshida; Susan Eisenbach (ESOP, 2004)

Channel dependent types for higher-order mobile processes. - Nobuko Yoshida (POPL, 2004)

A compositional logic for polymorphic higher-order functions. - Kohei Honda 001; Nobuko Yoshida (PPDP, 2004)

Strong normalisation in the pi -calculus. - Nobuko Yoshida; Martin Berger 001; Kohei Honda 001 (Inf. Comput., 2004)

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. - Kohei Honda 001; Nobuko Yoshida; Martin Berger 001 (LICS, 2005)

A Distributed Object-Oriented Language with Session Types. - Mariangiola Dezani-Ciancaglini; Nobuko Yoshida; Alexander Joseph Ahern; Sophia Drossopoulou (TGC, 2005)

Genericity and the pi-calculus. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (Acta Informatica, 2005)

safeDpi: a language for controlling mobile code. - Matthew Hennessy; Julian Rathke; Nobuko Yoshida (Acta Informatica, 2005)

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness. - Nobuko Yoshida (APC 25, 2005)

Noninterference through flow analysis. - Kohei Honda 001; Nobuko Yoshida (J. Funct. Program., 2005)

Session Types for Object-Oriented Languages. - Mariangiola Dezani-Ciancaglini; Dimitris Mostrous; Nobuko Yoshida; Sophia Drossopoulou (ECOOP, 2006)

Bounded Session Types for Object Oriented Languages. - Mariangiola Dezani-Ciancaglini; Elena Giachino; Sophia Drossopoulou; Nobuko Yoshida (FMCO, 2006)

Descriptive and Relative Completeness of Logics for Higher-Order Functions. - Kohei Honda 001; Martin Berger 001; Nobuko Yoshida (ICALP (2), 2006)

A Calculus of Global Interaction based on Session Types. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (DCM@ICALP, 2006)

Theoretical Aspects of Communication-Centred Programming. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (LIX, 2006)

Typed Event Structures and the pi-Calculus: Extended Abstract. - Daniele Varacca; Nobuko Yoshida (MFPS, 2006)

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. - Nobuko Yoshida; Vasco Thudichum Vasconcelos (SecReT@ICALP, 2006)

Editorial. - Philippa Gardner; Nobuko Yoshida (Theor. Comput. Sci., 2006)

Timed, Distributed, Probabilistic, Typed Processes. - Martin Berger 001; Nobuko Yoshida (APLAS, 2007)

Compositional Event Structure Semantics for the Internal pi -Calculus. - Silvia Crafa; Daniele Varacca; Nobuko Yoshida (CONCUR, 2007)

Structured Communication-Centred Programming for Web Services. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (ESOP, 2007)

Asynchronous Session Types and Progress for Object Oriented Languages. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (FMOODS, 2007)

On Progress for Structured Communications. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Nobuko Yoshida (TGC, 2007)

Two Session Typing Systems for Higher-Order Mobile Processes. - Dimitris Mostrous; Nobuko Yoshida (TLCA, 2007)

Web Services, Mobile Processes and Types. - Kohei Honda 001; Nobuko Yoshida; Marco Carbone (Bull. EATCS, 2007)

Probabilistic pi-Calculus and Event Structures. - Daniele Varacca; Nobuko Yoshida (QAPL, 2007)

A logical analysis of aliasing in imperative higher-order functions. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (J. Funct. Program., 2007)

Linearity and bisimulation. - Nobuko Yoshida; Kohei Honda 001; Martin Berger 001 (J. Log. Algebraic Methods Program., 2007)

Formalising Java RMI with explicit code mobility. - Alexander Joseph Ahern; Nobuko Yoshida (Theor. Comput. Sci., 2007)

A uniform type structure for secure information flow. - Kohei Honda 001; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2007)

A Unified Theory of Program Logics: An Approach based on the n-Calculus. - Kohei Honda 001; Nobuko Yoshida (BCS Int. Acad. Conf., 2008)

Global Progress in Dynamically Interleaved Multiparty Sessions. - Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (CONCUR, 2008)

Structured Interactional Exceptions in Session Types. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (CONCUR, 2008)

Session-Based Distributed Programming in Java. - Raymond Hu; Nobuko Yoshida; Kohei Honda 001 (ECOOP, 2008)

Session-Based Compilation Framework for Multicore Programming. - Nobuko Yoshida; Vasco Thudichum Vasconcelos; Hervé Paulino; Kohei Honda 001 (FMCO, 2008)

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (ICALP (2), 2008)

Synchronous Multiparty Session Types. - Andi Bejleri; Nobuko Yoshida (PLACES@DisCoTec, 2008)

Type-Directed Compilation for Multicore Programming. - Kohei Honda 001; Vasco Thudichum Vasconcelos; Nobuko Yoshida (PLACES@DisCoTec, 2008)

A Symbolic Semantics for a Calculus for Service-Oriented Computing. - Rosario Pugliese; Francesco Tiezzi 001; Nobuko Yoshida (PLACES@DisCoTec, 2008)

Preface. - Vasco Thudichum Vasconcelos; Nobuko Yoshida (PLACES@DisCoTec, 2008)

Logical Reasoning for Higher-Order Functions with Local State. - Nobuko Yoshida; Kohei Honda 001; Martin Berger 001 (Log. Methods Comput. Sci., 2008)

Global Principal Typing in Partially Commutative Asynchronous Sessions. - Dimitris Mostrous; Nobuko Yoshida; Kohei Honda 001 (ESOP, 2009)

On Observing Dynamic Prioritised Actions in SOC. - Rosario Pugliese; Francesco Tiezzi 001; Nobuko Yoshida (ICALP (2), 2009)

Asynchronous Session Types: Exceptions and Multiparty Interactions. - Marco Carbone; Nobuko Yoshida; Kohei Honda 001 (SFM, 2009)

Session-Based Communication Optimisation for Higher-Order Mobile Processes. - Dimitris Mostrous; Nobuko Yoshida (TLCA, 2009)

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance - Andi Bejleri; Raymond Hu; Nobuko Yoshida (PLACES, 2009)

Objects and session types. - Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Dimitris Mostrous; Nobuko Yoshida (Inf. Comput., 2009)

A Theory of Design-by-Contract for Distributed Multiparty Interactions. - Laura Bocchi; Kohei Honda 001; Emilio Tuosto; Nobuko Yoshida (CONCUR, 2010)

Buffered Communication Analysis in Distributed Multiparty Sessions. - Pierre-Malo Deniélou; Nobuko Yoshida (CONCUR, 2010)

Type-Safe Eventful Sessions in Java. - Raymond Hu; Dimitrios Kouzapas; Olivier Pernet; Nobuko Yoshida; Kohei Honda 001 (ECOOP, 2010)

Multiparty Symmetric Sum Types - Lasse Nielsen; Nobuko Yoshida; Kohei Honda 001 (EXPRESS, 2010)

Secure Execution of Distributed Session Programs - Nuno Alves; Raymond Hu; Nobuko Yoshida; Pierre-Malo Deniélou (PLACES, 2010)

Typed event structures and the linear pi-calculus. - Daniele Varacca; Nobuko Yoshida (Theor. Comput. Sci., 2010)

Safe Parallel Programming with Session Java. - Nicholas Ng; Nobuko Yoshida; Olivier Pernet; Raymond Hu; Yiannos Kryftis (COORDINATION, 2011)

On Asynchronous Session Semantics. - Dimitrios Kouzapas; Nobuko Yoshida; Kohei Honda 001 (FMOODS/FORTE, 2011)

Scribbling Interactions with a Formal Foundation. - Kohei Honda 001; Aybek Mukhamedov; Gary Brown; Tzu-Chun Chen; Nobuko Yoshida (ICDCIT, 2011)

Dynamic multirole session types. - Pierre-Malo Deniélou; Nobuko Yoshida (POPL, 2011)

Asynchronous Distributed Monitoring for Multiparty Session Enforcement. - Tzu-Chun Chen; Laura Bocchi; Pierre-Malo Deniélou; Kohei Honda 001; Nobuko Yoshida (TGC, 2011)

A Unified Theory of Program Logics: An Approach based on the π-Calculus. - Kohei Honda 001; Nobuko Yoshida (Comput. J., 2011)

Intensional and Extensional Characterisation of Global Progress in the π-Calculus. - Luca Fossati; Kohei Honda 001; Nobuko Yoshida (CONCUR, 2012)

Multiparty Session Types Meet Communicating Automata. - Pierre-Malo Deniélou; Nobuko Yoshida (ESOP, 2012)

Trustworthy Pervasive Healthcare Services via Multiparty Session Types. - Anders Starcke Henriksen; Lasse Nielsen; Thomas T. Hildebrandt; Nobuko Yoshida; Fritz Henglein (FHIES, 2012)

Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. - Silvia Crafa; Daniele Varacca; Nobuko Yoshida (FoSSaCS, 2012)

Verification of MPI Programs Using Session Types. - Kohei Honda 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; Vasco Thudichum Vasconcelos; Nobuko Yoshida (EuroMPI, 2012)

A Multiparty Multi-session Logic. - Laura Bocchi; Romain Demangeon; Nobuko Yoshida (TGC, 2012)

Multiparty Session C: Safe Parallel Programming with Message Optimisation. - Nicholas Ng; Nobuko Yoshida; Kohei Honda 001 (TOOLS (50), 2012)

Parameterised Multiparty Session Types - Pierre-Malo Deniélou; Nobuko Yoshida; Andi Bejleri; Raymond Hu (Log. Methods Comput. Sci., 2012)

Session types: towards safe and fast reconfigurable programming. - Nicholas Ng; Nobuko Yoshida; Xinyu Niu; Kuen Hung Tsoi (SIGARCH Comput. Archit. News, 2012)

Structured Communication-Centered Programming for Web Services. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2012)

Compositional Choreographies. - Fabrizio Montesi; Nobuko Yoshida (CONCUR, 2013)

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Luca Padovani; Nobuko Yoshida (COORDINATION, 2013)

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. - Pierre-Malo Deniélou; Nobuko Yoshida (ICALP (2), 2013)

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. - Raymond Hu; Rumyana Neykova; Nobuko Yoshida; Romain Demangeon; Kohei Honda 001 (RV, 2013)

SPY: Local Verification of Global Protocols. - Rumyana Neykova; Nobuko Yoshida; Raymond Hu (RV, 2013)

Scalable Session Programming for Heterogeneous High-Performance Systems. - Nicholas Ng; Nobuko Yoshida; Wayne Luk (SEFM Workshops, 2013)

The Scribble Protocol Language. - Nobuko Yoshida; Raymond Hu; Rumyana Neykova; Nicholas Ng (TGC, 2013)

Structuring Communication with Session Types. - Kohei Honda 001; Raymond Hu; Rumyana Neykova; Tzu-Chun Chen; Romain Demangeon; Pierre-Malo Deniélou; Nobuko Yoshida (Concurrent Objects and Beyond, 2014)

Timed Multiparty Session Types. - Laura Bocchi; Weizhen Yang; Nobuko Yoshida (CONCUR, 2014)

Calculating communication costs with Sessions Types and Sizes. - Juliana Franco; Sophia Drossopoulou; Nobuko Yoshida (ICCSW, 2014)

Pabble: Parameterised Scribble for Parallel Programming. - Nicholas Ng; Nobuko Yoshida (PDP, 2014)

On the Preciseness of Subtyping in Session Types. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (PPDP, 2014)

Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. - Kohei Honda 001; Nobuko Yoshida; Martin Berger 001 (RTA-TLCA, 2014)

Multiparty Session Nets. - Luca Fossati; Raymond Hu; Nobuko Yoshida (TGC, 2014)

Globally Governed Session Semantics. - Dimitrios Kouzapas; Nobuko Yoshida (Log. Methods Comput. Sci., 2014)

Multiparty Session Actors. - Rumyana Neykova; Nobuko Yoshida (PLACES, 2014)

Towards Reversible Sessions. - Francesco Tiezzi 001; Nobuko Yoshida (PLACES, 2014)

Scaling Future Software: The Manycore Challenge. - Frank S. de Boer; Einar Broch Johnsen; Dave Clarke 001; Sophia Drossopoulou; Nobuko Yoshida; Tobias Wrigstad (ERCIM News, 2014)

An observationally complete program logic for imperative higher-order functions. - Kohei Honda 001; Nobuko Yoshida; Martin Berger 001 (Theor. Comput. Sci., 2014)

Protocols by Default - Safe MPI Code Generation Based on Session Types. - Nicholas Ng; José Gabriel de Figueiredo Coutinho; Nobuko Yoshida (CC, 2015)

Meeting Deadlines Together. - Laura Bocchi; Julien Lange; Nobuko Yoshida (CONCUR, 2015)

On the Expressiveness of Multiparty Sessions. - Romain Demangeon; Nobuko Yoshida (FSTTCS, 2015)

Protocol-based verification of message-passing parallel programs. - Hugo A. López 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; César Santos; Vasco Thudichum Vasconcelos; Nobuko Yoshida (OOPSLA, 2015)

From Communicating Machines to Graphical Choreographies. - Julien Lange; Emilio Tuosto; Nobuko Yoshida (POPL, 2015)

A Gentle Introduction to Multiparty Asynchronous Session Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Luca Padovani; Nobuko Yoshida (SFM, 2015)

Precise subtyping for synchronous multiparty sessions. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Nobuko Yoshida (PLACES, 2015)

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (CoRR, 2015)

Characteristic Formulae for Session Types (extended version). - Julien Lange; Nobuko Yoshida (CoRR, 2015)

Using session types as an effect system. - Dominic A. Orchard; Nobuko Yoshida (PLACES, 2015)

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. - Romain Demangeon; Kohei Honda 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Formal Methods Syst. Des., 2015)

Session typing and asynchronous subtyping for the higher-order π-calculus. - Dimitris Mostrous; Nobuko Yoshida (Inf. Comput., 2015)

Reversible session-based pi-calculus. - Francesco Tiezzi 001; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2015)

Pabble: parameterised Scribble. - Nicholas Ng; Nobuko Yoshida (Serv. Oriented Comput. Appl., 2015)

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Nobuko Yoshida (Theory and Practice of Formal Methods, 2016)

Static deadlock detection for concurrent go by global session graph synthesis. - Nicholas Ng; Nobuko Yoshida (CC, 2016)

Lightweight Session Programming in Scala. - Alceste Scalas; Nobuko Yoshida (ECOOP, 2016)

Hybrid Session Verification Through Endpoint API Generation. - Raymond Hu; Nobuko Yoshida (FASE, 2016)

EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits. - Xinyu Niu; Nicholas Ng; Tomofumi Yuki; Shaojun Wang; Nobuko Yoshida; Wayne Luk (FPL, 2016)

Effects as sessions, sessions as effects. - Dominic A. Orchard; Nobuko Yoshida (POPL, 2016)

Reversing Single Sessions. - Francesco Tiezzi 001; Nobuko Yoshida (RC, 2016)

Characteristic Formulae for Session Types. - Julien Lange; Nobuko Yoshida (TACAS, 2016)

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. - Søren Debois; Thomas T. Hildebrandt; Tijs Slaats; Nobuko Yoshida (Log. Methods Comput. Sci., 2016)

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (CoRR, 2016)

Lightweight Session Programming in Scala (Artifact). - Alceste Scalas; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Multiparty Asynchronous Session Types. - Kohei Honda 001; Nobuko Yoshida; Marco Carbone (J. ACM, 2016)

Global escape in multiparty sessions. - Sara Capecchi; Elena Giachino; Nobuko Yoshida (Math. Struct. Comput. Sci., 2016)

Global progress for dynamically interleaved multiparty sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida; Luca Padovani (Math. Struct. Comput. Sci., 2016)

On asynchronous eventful session semantics. - Dimitrios Kouzapas; Nobuko Yoshida; Raymond Hu; Kohei Honda 001 (Math. Struct. Comput. Sci., 2016)

Let it recover: multiparty protocol-induced recovery. - Rumyana Neykova; Nobuko Yoshida (CC, 2017)

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. - Alceste Scalas; Ornela Dardha; Raymond Hu; Nobuko Yoshida (ECOOP, 2017)

Explicit Connection Actions in Multiparty Session Types. - Raymond Hu; Nobuko Yoshida (FASE, 2017)

On the Undecidability of Asynchronous Session Subtyping. - Julien Lange; Nobuko Yoshida (FoSSaCS, 2017)

Fencing off go: liveness and safety for channel-based programming. - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (POPL, 2017)

Multiparty session types as coherence proofs. - Marco Carbone; Fabrizio Montesi; Carsten Schürmann 001; Nobuko Yoshida (Acta Informatica, 2017)

Characteristic bisimulation for higher-order session processes. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (Acta Informatica, 2017)

Towards a Categorical Representation of Reversible Event Structures. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (PLACES@ETAPS, 2017)

Multiparty Session Types, Beyond Duality (Abstract). - Alceste Scalas; Nobuko Yoshida (PLACES@ETAPS, 2017)

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). - Simon J. Gay; Vasco T. Vasconcelos; Philip Wadler; Nobuko Yoshida (Dagstuhl Reports, 2017)

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). - Alceste Scalas; Ornela Dardha; Raymond Hu; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2017)

Timed runtime monitoring for multiparty conversations. - Rumyana Neykova; Laura Bocchi; Nobuko Yoshida (Formal Aspects Comput., 2017)

Guest editors' foreword. - Dominic A. Orchard; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2017)

Certifying data in multiparty session types. - Bernardo Toninho; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2017)

On the Preciseness of Subtyping in Session Types. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Alceste Scalas; Nobuko Yoshida (Log. Methods Comput. Sci., 2017)

Monitoring networks through multiparty session types. - Laura Bocchi; Tzu-Chun Chen; Romain Demangeon; Kohei Honda 001; Nobuko Yoshida (Theor. Comput. Sci., 2017)

A session type provider: compile-time API generation of distributed protocols with refinements in F#. - Rumyana Neykova; Raymond Hu; Nobuko Yoshida; Fahd Abdeljallal (CC, 2018)

Depending on Session-Typed Processes. - Bernardo Toninho; Nobuko Yoshida (FoSSaCS, 2018)

A static verification framework for message passing in Go using behavioural types. - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (ICSE, 2018)

A Parametric Framework for Reversible π-Calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (CoRR, 2018)

A Parametric Framework for Reversible Pi-Calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (EXPRESS/SOS, 2018)

Multiparty session types, beyond duality. - Alceste Scalas; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2018)

Interconnectability of Session-Based Logical Processes. - Bernardo Toninho; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2018)

Towards Bidirectional Synchronization Between Communicating Processes and Session Types. - Liye Guo; Hsiang-Shang Ko; Keigo Imai; Nobuko Yoshida; Zhenjiang Hu (BigComp, 2019)

Featherweight Scribble. - Rumyana Neykova; Nobuko Yoshida (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Polymorphic Session Processes as Morphisms. - Bernardo Toninho; Nobuko Yoshida (The Art of Modelling Computational Systems, 2019)

Verifying Asynchronous Interactions via Communicating Session Automata. - Julien Lange; Nobuko Yoshida (CAV (1), 2019)

A Sound Algorithm for Asynchronous Session Subtyping. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CONCUR, 2019)

Motion Session Types for Robotic Interactions (Brave New Idea Paper). - Rupak Majumdar; Marcus Pirron; Nobuko Yoshida; Damien Zufferey (ECOOP, 2019)

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. - Laura Bocchi; Maurizio Murgia 001; Vasco Thudichum Vasconcelos; Nobuko Yoshida (ESOP, 2019)

Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). - Simon Castellan; Nobuko Yoshida (FoSSaCS, 2019)

Verifying message-passing programs with dependent behavioural types. - Alceste Scalas; Nobuko Yoshida; Elias Benussi (PLDI, 2019)

Effpi: verified message-passing programs in Dotty. - Alceste Scalas; Nobuko Yoshida; Elias Benussi (SCALA@ECOOP, 2019)

Developing secure bitcoin contracts with BitML. - Nicola Atzei; Massimo Bartoletti; Stefano Lande; Nobuko Yoshida; Roberto Zunino (ESEC/SIGSOFT FSE, 2019)

Service Equivalence via Multiparty Session Type Isomorphisms. - Assel Altayeva; Nobuko Yoshida (PLACES@ETAPS, 2019)

Multiparty Session Type-safe Web Development with Static Linearity. - Jonathan King; Nicholas Ng; Nobuko Yoshida (PLACES@ETAPS, 2019)

A Sound Algorithm for Asynchronous Session Subtyping (extended version). - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CoRR, 2019)

On the relative expressiveness of higher-order session processes. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (Inf. Comput., 2019)

Precise subtyping for synchronous multiparty sessions. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Alceste Scalas; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2019)

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side. - Simon Castellan; Nobuko Yoshida (Proc. ACM Program. Lang., 2019)

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. - David Castro-Perez; Raymond Hu; Sung-Shik Jongmans; Nicholas Ng; Nobuko Yoshida (Proc. ACM Program. Lang., 2019)

Less is more: multiparty session types revisited. - Alceste Scalas; Nobuko Yoshida (Proc. ACM Program. Lang., 2019)

Session-ocaml: A session-based library with polarities and lenses. - Keigo Imai; Nobuko Yoshida; Shoji Yuen (Sci. Comput. Program., 2019)

Dynamic Deadlock Verification for General Barrier Synchronisation. - Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2019)

Compiling first-order functions to session-typed parallel code. - David Castro-Perez; Nobuko Yoshida (CC, 2020)

Implementing Multiparty Session Types in Rust. - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (COORDINATION, 2020)

Static Race Detection and Mutex Safety and Liveness for Go Programs. - Julia Gabet; Nobuko Yoshida (ECOOP, 2020)

Multiparty Session Programming With Global Protocol Combinators. - Keigo Imai; Rumyana Neykova; Nobuko Yoshida; Shoji Yuen (ECOOP, 2020)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. - Sung-Shik Jongmans; Nobuko Yoshida (ESOP, 2020)

A Very Gentle Introduction to Multiparty Session Types. - Nobuko Yoshida; Lorenzo Gheri (ICDCIT, 2020)

Event Structures for the Reversible Early Internal π-Calculus. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (RC, 2020)

Towards a Formal Account for Software Transactional Memory. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (RC, 2020)

EMTST: Engineering the Meta-theory of Session Types. - David Castro-Perez; Francisco Ferreira 001; Nobuko Yoshida (TACAS (2), 2020)

Event structures for the reversible early internal Pi-calculus. - Eva Graversen; Iain C. C. Phillips; Nobuko Yoshida (CoRR, 2020)

Generating Interactive WebSocket Applications in TypeScript. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (PLACES@ETAPS, 2020)

Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version). - Julia Gabet; Nobuko Yoshida (CoRR, 2020)

Game Semantics: Easy as Pi. - Nobuko Yoshida; Simon Castellan; Léo Stefanesco (CoRR, 2020)

Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact). - Julia Gabet; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2020)

Multiparty Session Programming with Global Protocol Combinators (Artifact). - Keigo Imai; Rumyana Neykova; Nobuko Yoshida; Shoji Yuen (Dagstuhl Artifacts Ser., 2020)

A parametric framework for reversible π-calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (Inf. Comput., 2020)

Statically verified refinements for multiparty protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

CAMP: cost-aware multiparty session protocols. - David Castro-Perez; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

Featherweight go. - Robert Griesemer; Raymond Hu; Wen Kokke; Julien Lange; Ian Lance Taylor; Bernardo Toninho; Philip Wadler; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

Multiparty motion coordination: from choreographies to robotics programs. - Rupak Majumdar; Nobuko Yoshida; Damien Zufferey (Proc. ACM Program. Lang., 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

CAMP: Cost-Aware Multiparty Session Protocols (artifact). - David Castro-Perez; Nobuko Yoshida (Zenodo, 2020)

Multiparty Motion Coordination: From Choreographies to Robotics Programs (Artifact). - Rupak Majumdar; Nobuko Yoshida; Damien Zufferey (Zenodo, 2020)

Communication-safe web programming in TypeScript with routed multiparty session types. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (CC, 2021)

CONCUR Test-Of-Time Award 2021 (Invited Paper). - Nathalie Bertrand 001; Luca de Alfaro; Rob van Glabbeek; Catuscia Palamidessi; Nobuko Yoshida (CONCUR, 2021)

Safe Session-Based Asynchronous Coordination in Rust. - Zak Cutner; Nobuko Yoshida (COORDINATION, 2021)

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. - Nobuko Yoshida; Fangyi Zhou 002; Francisco Ferreira 001 (FCT, 2021)

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (PLDI, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (CoRR, 2021)

Interviews with the 2021 CONCUR Test-of-Time Award Recipients. - Luca Aceto; Nathalie Bertrand 001; Nobuko Yoshida (Bull. EATCS, 2021)

Event structure semantics of (controlled) reversible CCS. - Eva Graversen; Iain C. C. Phillips; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2021)

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2021)

Precise subtyping for asynchronous multiparty sessions. - Silvia Ghilezan; Jovanka Pantovic; Ivan Prokic; Alceste Scalas; Nobuko Yoshida (Proc. ACM Program. Lang., 2021)

On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. - Bernardo Toninho; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2021)

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (Zenodo, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (Zenodo, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (Zenodo, 2021)

Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types. - Zak Cutner; Nobuko Yoshida; Martin Vassor (Zenodo, 2021)

Generalised Multiparty Session Types with Crash-Stop Failures. - Adam D. Barwell; Alceste Scalas; Nobuko Yoshida; Fangyi Zhou 002 (CONCUR, 2022)

Design-By-Contract for Flexible Multiparty Session Protocols. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (ECOOP, 2022)

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (ECOOP, 2022)

Deadlock-free asynchronous message reordering in rust with multiparty session types. - Zak Cutner; Nobuko Yoshida; Martin Vassor (PPoPP, 2022)

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (CoRR, 2022)

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). - Adam D. Barwell; Alceste Scalas; Nobuko Yoshida; Fangyi Zhou 002 (CoRR, 2022)

On the Expressiveness of Mixed Choice Sessions (Technical Report). - Kirstin Peters; Nobuko Yoshida (CoRR, 2022)

On the Expressiveness of Mixed Choice Sessions. - Kirstin Peters; Nobuko Yoshida (EXPRESS/SOS, 2022)

Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2022)

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2022)

CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. - Adam D. Barwell; Francisco Ferreira 001; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2022)

Event structures for the reversible early internal π-calculus. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2022)

Generic go to go: dictionary-passing, monomorphisation, and hybrid. - Stephen Ellis; Shuofei Zhu; Nobuko Yoshida; Linhai Song (Proc. ACM Program. Lang., 2022)

Introduction to the Special Issue on ESOP 2021. - Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2022)

A Type Discipline for Message Passing Parallel Programs. - Vasco T. Vasconcelos; Francisco Martins; Hugo-Andrés López 001; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2022)

Rollback Recovery in Session-Based Programming. - Claudio Antares Mezzina; Francesco Tiezzi 001; Nobuko Yoshida (COORDINATION, 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (ECOOP, 2023)

Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. - David Castro-Perez; Nobuko Yoshida (ECOOP, 2023)

Multicompatibility for Multiparty-Session Composition. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Lorenzo Gheri; Nobuko Yoshida (PPDP, 2023)

Hybrid Multiparty Session Types - Full Version. - Lorenzo Gheri; Nobuko Yoshida (CoRR, 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Dagstuhl Artifacts Ser., 2023)

Dynamically Updatable Multiparty Session Protocols (Artifact). - David Castro-Perez; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2023)

Causal computational complexity of distributed processes. - Romain Demangeon; Nobuko Yoshida (Inf. Comput., 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Zenodo, 2023)

Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. - Lorenzo Gheri; Nobuko Yoshida (Proc. ACM Program. Lang., 2023)

Programming Language Implementations with Multiparty Session Types. - Nobuko Yoshida (Active Object Languages: Current Research Trends, 2024)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols. - Ping Hou; Nicolas Lagaillardie; Nobuko Yoshida (ECOOP, 2024)

Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation. - Martin Vassor; Nobuko Yoshida (ECOOP, 2024)

Completeness of Asynchronous Session Tree Subtyping in Coq. - Burak Ekici; Nobuko Yoshida (ITP, 2024)

Separation and Encodability in Mixed Choice Multiparty Sessions. - Kirstin Peters; Nobuko Yoshida (LICS, 2024)

On the Preciseness of Subtyping in Session Types: 10 Years Later. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (PPDP, 2024)

Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. - Ari Hernawan; Nobuko Yoshida (TASE, 2024)

Less is More Revisit. - Nobuko Yoshida; Ping Hou (CoRR, 2024)

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs. - Mengting He; Shihao Xia; Boqin Qin; Nobuko Yoshida; Tingting Yu 001; Linhai Song; Yiying Zhang 005 (CoRR, 2024)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. - Thien Udomsrirungruang; Nobuko Yoshida (PLACES@ETAPS, 2024)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report). - Kirstin Peters; Nobuko Yoshida (CoRR, 2024)

Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact). - Nicolas Lagaillardie; Ping Hou; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2024)

Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact). - Martin Vassor; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2024)

Mixed choice in session types. - Kirstin Peters; Nobuko Yoshida (Inf. Comput., 2024)

Less is More Revisited: Association with Global Multiparty Session Types. - Nobuko Yoshida; Ping Hou (The Practice of Formal Methods (II), 2024)

Artifact: Refinements for Multiparty Message-Passing Protocols. - Martin Vassor; Nobuko Yoshida (Zenodo, 2024)

https://github.com/ekiciburak/sessionTreeST/tree/localtype. - Burak Ekici; Nobuko Yoshida (DROPS Artifacts, 2024)

Iso-Recursive Multiparty Sessions and their Automated Verification. - Marco Giunti; Nobuko Yoshida (ESOP (1), 2025)

Encoding Choice and Replication in $ mathtt{ textbf{roll}} text {-} pi $. - Adam D. Barwell; Ping Hou; Martin Vassor; Nobuko Yoshida (RC, 2025)

RevMiGo: Reversible Channel-Based Communication in Go Language. - Shunya Oguchi; Shoji Yuen; Nobuko Yoshida (RC, 2025)

Special Issue of PLACES 2022. - Marco Carbone; Nobuko Yoshida (Inf. Comput., 2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types. - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Log. Methods Comput. Sci., 2025)

Checkpoint-based rollback recovery in session programming. - Claudio Antares Mezzina; Francesco Tiezzi 001; Nobuko Yoshida (Log. Methods Comput. Sci., 2025)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types. - Thien Udomsrirungruang; Nobuko Yoshida (Proc. ACM Program. Lang., 2025)

Iso-Recursive Multiparty Sessions and their Automated Verification. - Marco Giunti; Nobuko Yoshida (Zenodo, 2025)

Iso-Recursive Multiparty Sessions and their Automated Verification - Technical Report. - Marco Giunti; Nobuko Yoshida (CoRR, 2025)

Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types. - Ivan Prokic; Simona Prokic; Silvia Ghilezan; Alceste Scalas; Nobuko Yoshida (CoRR, 2025)

Asynchronous Global Protocols, Precisely: Full Proofs. - Kai Pischke; Nobuko Yoshida (CoRR, 2025)