Kohei Honda

发表

Structured Global Programming for Communication Behaviour

Marco Carbone, Kohei Honda, N. Yoshida, 2006 .

A Theoretical Basis of Communication-Centred Concurrent Programming

R. Milner, Marco Carbone, Kohei Honda, 2005 .

The Two-Phase Commitment Protocol in an Extended pi-Calculus

Martin Berger, Kohei Honda, Kohei Honda, 2003, EXPRESS.

Modal Logics for Typed Mobile Processes

Nobuko Yoshida, Kohei Honda, Martin Berger, 2008 .

Local State in Hoare Logic for Imperative Higher-Order Functions

Nobuko Yoshida, Kohei Honda, Martin Berger, 2005 .

Processes and Games

Kohei Honda, Kohei Honda, 2004, Electron. Notes Theor. Comput. Sci..

A unified theory of program logics: an approach based on the π-calculus

Kohei Honda, N. Yoshida, 2008 .

Sequentiality and the π-Calculus

Kohei Honda, N. Yoshida, Martin Berger, 2001 .

NOTES ON UNDIRECTED ACTIONSKOHEI HONDAAbstract

Kohei Honda, 1997 .

Notes on P-Algebra ( 4 ) : Algebra over Process Structure , Part I .

Kohei Honda, 1995 .

Notes on P-Algebra ( 1 ) : Process Structures

Kohei Honda, 1992 .

Language and Runtime Implementation of Sessions for Java

Kohei Honda, N. Yoshida, Raymond Hu, 2007 .

Strong Normalisation in the π-Cal ulus

Kohei Honda, N. Yoshida, Martin Berger, 2001 .

Sequentiality and the pi-Calculus

Nobuko Yoshida, Martin Berger, Kohei Honda, 2001, TLCA.

Extremely Well-suited for Concurrent Oo Computation 6.2.2 Reservation of Message Boxes 6.2.3 Sending of Message Elements with Per- Packet Communication Figure 7: Simple-minded Fibonacci Numbers with Object Creation Number of Tasks (creation-request-reply Cycles) (1) Execution Time Number of Tasks (c

Kohei Honda, Y. Kodama, T. Yoshinaga, 2007 .

F-calculus { a Functional Calculus with Shared Environments {

Kohei Honda, M. Tokoro, 2007 .

Types for Dynamic Interaction

Kohei Honda, Kohei Honda, 1993 .

On Behavioural Interpretation of Types in Name Passing Calculi (extended Abstract)

Kohei Honda, 2007 .

Web Services, Mobile Processes and Types

Nobuko Yoshida, Marco Carbone, Kohei Honda, 2007, Bull. EATCS.

A Compositional Program Logic for Imperative Higher-Order Functions

Nobuko Yoshida, Martin Berger, Kohei Honda, 2004 .

Logical Reasoning for Higher-Order Functions with Local State

Nobuko Yoshida, Martin Berger, Kohei Honda, 2007, Log. Methods Comput. Sci..

Noninterference Proofs through Flow Analysis

Kohei Honda, 2002 .

Notes on Linear Typing for Free Output

Kohei Honda, Kohei Honda, 2001 .

Global Type Local Type Local Type Local Type Endpoint Process Monitor Endpoint Process Monitor Static

Kohei Honda, N. Yoshida, L. Bocchi, 2017 .

Multiparty asynchronous session types

Nobuko Yoshida, Marco Carbone, Kohei Honda, 2008, POPL '08.

Intensional and Extensional Characterisation of Global Progress in the π-Calculus

Nobuko Yoshida, Luca Fossati, Kohei Honda, 2012, CONCUR.

A Unified Theory of Program Logics: An Approach based on the π-Calculus

Nobuko Yoshida, Kohei Honda, Kohei Honda, 2008, Comput. J..

An observationally complete program logic for imperative higher-order functions

Nobuko Yoshida, Martin Berger, Kohei Honda, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

A logical analysis of aliasing in imperative higher-order functions

Nobuko Yoshida, Martin Berger, Kohei Honda, 2005, ICFP '05.

The Two-Phase Commitment Protocol in an Extended pi-Calculus

Kohei Honda, Martin Berger, 2003, EXPRESS.

On Asynchronous Communication Semantics

Mario Tokoro, Kohei Honda, Kohei Honda, 1991, Object-Based Concurrent Computing.

Secure Information Flow as Typed Process Behaviour

Nobuko Yoshida, Vasco Thudichum Vasconcelos, Kohei Honda, 2000, ESOP.

Game-Theoretic Analysis of Call-by-Value Computation

Nobuko Yoshida, Kohei Honda, Kohei Honda, 1997, Theor. Comput. Sci..

Type-Safe Communication in Java with Session Types

Nobuko Yoshida, Raymond Hu, Kohei Honda, 2007 .

Multiparty Session C: Safe Parallel Programming with Message Optimisation

Nobuko Yoshida, Kohei Honda, Nicholas Ng, 2012, TOOLS.

Scribbling Interactions with a Formal Foundation

Gary Brown, Nobuko Yoshida, Tzu-Chun Chen, 2011, ICDCIT.

A Theory of Design-by-Contract for Distributed Multiparty Interactions

Laura Bocchi, Emilio Tuosto, Nobuko Yoshida, 2010, CONCUR.

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes

Nobuko Yoshida, Martin Berger, Kohei Honda, 2008, ICALP.

A uniform type structure for secure information flow

Kohei Honda, N. Yoshida, 2007, TOPL.

From process logic to program logic

Kohei Honda, Kohei Honda, 2004, ICFP '04.

A uniform type structure for secure information flow

Nobuko Yoshida, Kohei Honda, Kohei Honda, 2002, POPL '02.

A compositional logic for polymorphic higher-order functions

Nobuko Yoshida, Kohei Honda, Kohei Honda, 2004, PPDP '04.

Verification of MPI Programs Using Session Types

Nobuko Yoshida, Francisco Martins, Vasco Thudichum Vasconcelos, 2012, EuroMPI.

Structured Interactional Exceptions in Session Types

Nobuko Yoshida, Marco Carbone, Kohei Honda, 2008, CONCUR.

Structured Communication-Centered Programming for Web Services

Nobuko Yoshida, Marco Carbone, Kohei Honda, 2007, TOPL.

Types for Dyadic Interaction

Kohei Honda, Kohei Honda, 1993, CONCUR.

Structuring Communication with Session Types

Nobuko Yoshida, Raymond Hu, Romain Demangeon, 2014, Concurrent Objects and Beyond.

Descriptive and Relative Completeness of Logics for Higher-Order Functions

Nobuko Yoshida, Martin Berger, Kohei Honda, 2006, ICALP.

An Object Calculus for Asynchronous Communication

Mario Tokoro, Kohei Honda, Kohei Honda, 1991, ECOOP.

A small calculus for concurrent objects

Mario Tokoro, Kohei Honda, Kohei Honda, 1991, OOPSLA/ECOOP '90.

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Nobuko Yoshida, Raymond Hu, Romain Demangeon, 2015, Formal Methods Syst. Des..

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Kohei Honda, N. Yoshida, Raymond Hu, 2014, Formal methods in system design.

Strong normalisation in the pi -calculus

Nobuko Yoshida, Martin Berger, Kohei Honda, 2004, Inf. Comput..

Strong normalisation in the /spl pi/-calculus

Nobuko Yoshida, Martin Berger, Kohei Honda, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.

On Reduction-Based Process Semantics

Nobuko Yoshida, Kohei Honda, Kohei Honda, 1995, Theor. Comput. Sci..

Composing processes

Kohei Honda, Kohei Honda, 1996, POPL '96.

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python

Nobuko Yoshida, Raymond Hu, Romain Demangeon, 2013, RV.

Type-Safe Eventful Sessions in Java

Nobuko Yoshida, Raymond Hu, Dimitrios Kouzapas, 2010, ECOOP.

Multiparty Symmetric Sum Types

Lasse Nielsen, Kohei Honda, Lasse R. Nielsen, 2010, EXPRESS.

An exact correspondence between a typed pi-calculus and polarised proof-nets

Olivier Laurent, Kohei Honda, Kohei Honda, 2010, Theor. Comput. Sci..

Session-Based Compilation Framework for Multicore Programming

Nobuko Yoshida, Hervé Paulino, Vasco Thudichum Vasconcelos, 2009, FMCO.

Session-Based Distributed Programming in Java

Nobuko Yoshida, Raymond Hu, Kohei Honda, 2008, ECOOP.

Processes and Games

Kohei Honda, 2004, WRLA.

Semantics study and reality of computing

Kohei Honda, Kohei Honda, 1999, CSUR.

An Interaction-based Language and its Typing System

Kohei Honda, Makoto Kubo, Kaku Takeuchi, 1994, PARLE.

The Computational Field Model for Open Distributed Environments

Mario Tokoro, Kohei Honda, Kohei Honda, 1991, Concurrency: Theory, Language, And Architecture.

Nested Protocols in Session Types

Romain Demangeon, Kohei Honda, Kohei Honda, 2012, CONCUR.

Global Principal Typing in Partially Commutative Asynchronous Sessions

Nobuko Yoshida, Kohei Honda, Dimitris Mostrous, 2009, ESOP.

Specifying Stateful Asynchronous Properties for Distributed Programs

Tzu-Chun Chen, Kohei Honda, Kohei Honda, 2012, CONCUR.

Noninterference through flow analysis

Nobuko Yoshida, Kohei Honda, Kohei Honda, 2005, J. Funct. Program..

Multiparty asynchronous session types

Marco Carbone, Kohei Honda, N. Yoshida, 2008, POPL '08.

Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus

Nobuko Yoshida, Martin Berger, Kohei Honda, 2014, RTA-TLCA.

Combinatory representation of mobile processes

Nobuko Yoshida, Kohei Honda, Kohei Honda, 1994, POPL '94.

Principal Typing-schemes in a Polyadic -calculus

V. Vasconcelos, Kohei Honda, 1992 .

Principal Typing Schemes in a Polyadic pi-Calculus

Kohei Honda, Vasco T. Vasconcelos, V. Vasconcelos, 1993, CONCUR.

Elementary structures in process theory (1): Sets with renaming

Kohei Honda, Kohei Honda, 2000, Mathematical Structures in Computer Science.

Process Structures

Kohei Honda, KOHEI HONDA, 1997 .

Recursive types in games: axiomatics and process representation

Kohei Honda, Marcelo P. Fiore, Kohei Honda, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

Multiparty Session C: Safe Parallel Programming with Message Optimisation

Kohei Honda, N. Yoshida, Nicholas Ng, 2012, TOOLS.

A Calculus of Global Interaction based on Session Types

Nobuko Yoshida, Marco Carbone, Kohei Honda, 2007, DCM@ICALP.