The Computational Field Model for Open Distributed Environments. - Mario Tokoro; Kohei Honda 001 (Concurrency: Theory, Language, And Architecture, 1989)

A small calculus for concurrent objects. - Kohei Honda 001; Mario Tokoro (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1990)

An Object Calculus for Asynchronous Communication. - Kohei Honda 001; Mario Tokoro (ECOOP, 1991)

On Asynchronous Communication Semantics. - Kohei Honda 001; Mario Tokoro (Object-Based Concurrent Computing, 1991)

Types for Dyadic Interaction. - Kohei Honda 001 (CONCUR, 1993)

Principal Typing Schemes in a Polyadic pi-Calculus. - Vasco Thudichum Vasconcelos; Kohei Honda 001 (CONCUR, 1993)

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

An Interaction-based Language and its Typing System. - Kaku Takeuchi; Kohei Honda 001; Makoto Kubo (PARLE, 1994)

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

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

Notes on P-Algebra 1: Process Structure. - Kohei Honda 001 (Theory and Practice of Parallel Programming, 1994)

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

Composing Processes. - Kohei Honda 001 (POPL, 1996)

Abstract Process Structures. - Kohei Honda 001 (Linear Logic Tokyo Meeting, 1996)

Game Theoretic Analysis of Call-by-Value Computation. - Kohei Honda 001; Nobuko Yoshida (ICALP, 1997)

Language Primitives and Type Discipline for Structured Communication-Based Programming. - Kohei Honda 001; Vasco Thudichum Vasconcelos; Makoto Kubo (ESOP, 1998)

A Fully Abstract Game Semantics for General References. - Samson Abramsky; Kohei Honda 001; Guy McCusker (LICS, 1998)

Recursive Types in Games: Axiomatics and Process Representation. - Marcelo P. Fiore; Kohei Honda 001 (LICS, 1998)

Semantics Study and Reality of Computing. - Kohei Honda 001 (ACM Comput. Surv., 1999)

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

The Two-Phase Commitment Protocol in an Extended pi-Calculus. - Martin Berger 001; Kohei Honda 001 (EXPRESS, 2000)

Elementary structures in process theory (1): Sets with renaming. - Kohei Honda 001 (Math. Struct. Comput. Sci., 2000)

Strong Normalisation in the pi-Calculus. - Nobuko Yoshida; Martin Berger 001; Kohei Honda 001 (LICS, 2001)

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

Linearity and Bisimulation. - Nobuko Yoshida; Kohei Honda 001; Martin Berger 001 (FoSSaCS, 2002)

A uniform type structure for secure information flow. - Kohei Honda 001; Nobuko Yoshida (POPL, 2002)

Processes and Games. - Kohei Honda 001 (WRLA, 2002)

Genericity and the pi-Calculus. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (FoSSaCS, 2003)

From process logic to program logic. - Kohei Honda 001 (ICFP, 2004)

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

A logical analysis of aliasing in imperative higher-order functions. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (ICFP, 2005)

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

Process Algebras in the Age of Ubiquitous Computing. - Kohei Honda 001 (APC 25, 2005)

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

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)

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

Logical Reasoning for Higher-Order Functions with Local State. - Nobuko Yoshida; Kohei Honda 001; Martin Berger 001 (FoSSaCS, 2007)

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

A Unified Theory of Program Logics: An Approach based on the n-Calculus. - Kohei Honda 001; Nobuko Yoshida (BCS Int. Acad. Conf., 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)

Multiparty asynchronous session types. - Kohei Honda 001; Nobuko Yoshida; Marco Carbone (POPL, 2008)

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

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

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

A Theory of Design-by-Contract for Distributed Multiparty Interactions. - Laura Bocchi; Kohei Honda 001; Emilio Tuosto; 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)

An exact correspondence between a typed pi-calculus and polarised proof-nets. - Kohei Honda 001; Olivier Laurent 001 (Theor. Comput. Sci., 2010)

Full Abstraction in a Subtyped pi-Calculus with Linear Types. - Romain Demangeon; Kohei Honda 001 (CONCUR, 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)

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

Understanding Distributed Services through the π-Calculus. - Kohei Honda 001 (WS-FM, 2011)

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

Specifying Stateful Asynchronous Properties for Distributed Programs. - Tzu-Chun Chen; Kohei Honda 001 (CONCUR, 2012)

Nested Protocols in Session Types. - Romain Demangeon; Kohei Honda 001 (CONCUR, 2012)

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

Session Types and Distributed Computing. - Kohei Honda 001 (ICALP (2), 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)

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

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

Monitoring Networks through Multiparty Session Types. - Laura Bocchi; Tzu-Chun Chen; Romain Demangeon; Kohei Honda 001; Nobuko Yoshida (FMOODS/FORTE, 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)

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)

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

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

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)

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