Kohei Honda

According to our database, Kohei Honda authored at least 73 papers between 1989 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Monitoring networks through multiparty session types.

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 2017

2016

On asynchronous eventful session semantics.

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda

Math. Struct. Comput. Sci., 2016

Multiparty Asynchronous Session Types.

Kohei Honda, Nobuko Yoshida, Marco Carbone

J. ACM, 2016

2015

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

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Formal Methods Syst. Des., 2015

2014

An observationally complete program logic for imperative higher-order functions.

Kohei Honda, Nobuko Yoshida, Martin Berger

Theor. Comput. Sci., 2014

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

Kohei Honda, Nobuko Yoshida, Martin Berger

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Structuring Communication with Session Types.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Concurrent Objects and Beyond, 2014

2013

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

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Structured Communication-Centered Programming for Web Services.

Marco Carbone, Kohei Honda, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2012

Multiparty Session C: Safe Parallel Programming with Message Optimisation.

Nicholas Ng, Nobuko Yoshida, Kohei Honda

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Verification of MPI Programs Using Session Types.

Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Recent Advances in the Message Passing Interface, 2012

Session Types and Distributed Computing.

Kohei Honda

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

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

Luca Fossati, Kohei Honda, Nobuko Yoshida

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Nested Protocols in Session Types.

Romain Demangeon, Kohei Honda

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Specifying Stateful Asynchronous Properties for Distributed Programs.

Tzu-Chun Chen, Kohei Honda

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

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

Kohei Honda, Nobuko Yoshida

Comput. J., 2011

Understanding Distributed Services through the π-Calculus.

Kohei Honda

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Asynchronous Distributed Monitoring for Multiparty Session Enforcement.

Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Scribbling Interactions with a Formal Foundation.

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida

Proceedings of the Distributed Computing and Internet Technology, 2011

On Asynchronous Session Semantics.

Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda

Proceedings of the Formal Techniques for Distributed Systems, 2011

Full Abstraction in a Subtyped pi-Calculus with Linear Types.

Romain Demangeon, Kohei Honda

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

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

Kohei Honda, Olivier Laurent

Theor. Comput. Sci., 2010

Multiparty Symmetric Sum Types

Lasse Nielsen, Nobuko Yoshida, Kohei Honda

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

Type-Safe Eventful Sessions in Java.

Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda

Proceedings of the ECOOP 2010, 2010

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

Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Asynchronous Session Types: Exceptions and Multiparty Interactions.

Marco Carbone, Nobuko Yoshida, Kohei Honda

Proceedings of the Formal Methods for Web Services, 2009

Global Principal Typing in Partially Commutative Asynchronous Sessions.

Dimitris Mostrous, Nobuko Yoshida, Kohei Honda

Proceedings of the Programming Languages and Systems, 2009

2008

Logical Reasoning for Higher-Order Functions with Local State.

Nobuko Yoshida, Kohei Honda, Martin Berger

Log. Methods Comput. Sci., 2008

Type-Directed Compilation for Multicore Programming.

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

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

Martin Berger, Kohei Honda, Nobuko Yoshida

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Session-Based Compilation Framework for Multicore Programming.

Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Session-Based Distributed Programming in Java.

Raymond Hu, Nobuko Yoshida, Kohei Honda

Proceedings of the ECOOP 2008, 2008

Structured Interactional Exceptions in Session Types.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

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

Kohei Honda, Nobuko Yoshida

Proceedings of the Visions of Computer Science, 2008

2007

A uniform type structure for secure information flow.

Kohei Honda, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2007

Linearity and bisimulation.

Nobuko Yoshida, Kohei Honda, Martin Berger

J. Log. Algebraic Methods Program., 2007

A logical analysis of aliasing in imperative higher-order functions.

Martin Berger, Kohei Honda, Nobuko Yoshida

J. Funct. Program., 2007

Web Services, Mobile Processes and Types.

Kohei Honda, Nobuko Yoshida, Marco Carbone

Bull. EATCS, 2007

Structured Communication-Centred Programming for Web Services.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2007

2006

Theoretical Aspects of Communication-Centred Programming.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

A Calculus of Global Interaction based on Session Types.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the Second International Workshop on Developments in Computational Models, 2006

Descriptive and Relative Completeness of Logics for Higher-Order Functions.

Kohei Honda, Martin Berger, Nobuko Yoshida

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Noninterference through flow analysis.

Kohei Honda, Nobuko Yoshida

J. Funct. Program., 2005

Process Algebras in the Age of Ubiquitous Computing.

Kohei Honda

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Genericity and the pi-calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

Acta Informatica, 2005

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.

Kohei Honda, Nobuko Yoshida, Martin Berger

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Strong normalisation in the pi -calculus.

Nobuko Yoshida, Martin Berger, Kohei Honda

Inf. Comput., 2004

A compositional logic for polymorphic higher-order functions.

Kohei Honda, Nobuko Yoshida

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

From process logic to program logic.

Kohei Honda

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2002

Processes and Games.

Kohei Honda

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

2001

Sequentiality and the pi-Calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

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

Kohei Honda

Math. Struct. Comput. Sci., 2000

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

Martin Berger, Kohei Honda

Proceedings of the 7th International Workshop on Expressiveness in Concurrency, 2000

Secure Information Flow as Typed Process Behaviour.

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2000

1999

Game-Theoretic Analysis of Call-by-Value Computation.

Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 1999

Semantics Study and Reality of Computing.

Kohei Honda

ACM Comput. Surv., 1999

1998

Recursive Types in Games: Axiomatics and Process Representation.

Marcelo P. Fiore, Kohei Honda

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

A Fully Abstract Game Semantics for General References.

Samson Abramsky, Kohei Honda, Guy McCusker

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Language Primitives and Type Discipline for Structured Communication-Based Programming.

Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1996

Abstract Process Structures.

Kohei Honda

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Composing Processes.

Kohei Honda

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

On Reduction-Based Process Semantics.

Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 1995

1994

Notes on P-Algebra 1: Process Structure.

Kohei Honda

Proceedings of the Theory and Practice of Parallel Programming, 1994

Replication in Concurrent Combinators.

Kohei Honda, Nobuko Yoshida

Proceedings of the Theoretical Aspects of Computer Software, 1994

Combinatory Representation of Mobile Processes.

Kohei Honda, Nobuko Yoshida

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

An Interaction-based Language and its Typing System.

Kaku Takeuchi, Kohei Honda, Makoto Kubo

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993

On Reduction-Based Semantics.

Kohei Honda, Nobuko Yoshida

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Principal Typing Schemes in a Polyadic pi-Calculus.

Vasco Thudichum Vasconcelos, Kohei Honda

Proceedings of the CONCUR '93, 1993

Types for Dyadic Interaction.

Kohei Honda

Proceedings of the CONCUR '93, 1993

1991

On Asynchronous Communication Semantics.

Kohei Honda, Mario Tokoro

Proceedings of the Object-Based Concurrent Computing, 1991

An Object Calculus for Asynchronous Communication.

Kohei Honda, Mario Tokoro

Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990

A small calculus for concurrent objects.

Kohei Honda, Mario Tokoro

Proceedings of the Workshop on Object-based Concurrent Programming, 1990

1989

The Computational Field Model for Open Distributed Environments.

Mario Tokoro, Kohei Honda

Proceedings of the Concurrency: Theory, 1989