Kohei Honda

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4964003	2021-02-24	Paper
Multiparty Asynchronous Session Types	2018-08-02	Paper
Game theoretic analysis of call-by-value computation	2018-07-04	Paper
Monitoring networks through multiparty session types	2017-03-16	Paper
On asynchronous eventful session semantics	2016-07-28	Paper
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python	2015-10-30	Paper
A uniform type structure for secure information flow	2015-03-17	Paper
From process logic to program logic	2015-03-09	Paper
A logical analysis of aliasing in imperative higher-order functions	2015-01-06	Paper
Multiparty asynchronous session types	2014-09-12	Paper
Process Types as a Descriptive Tool for Interaction	2014-07-24	Paper
Theoretical Aspects of Communication-Centred Programming	2014-01-17	Paper
An observationally complete program logic for imperative higher-order functions	2013-12-18	Paper
A Calculus of Global Interaction based on Session Types	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2851048	2013-10-02	Paper
The Two-Phase Commitment Protocol in an Extended π-Calculus	2013-04-26	Paper
Specifying Stateful Asynchronous Properties for Distributed Programs	2012-09-25	Paper
Nested Protocols in Session Types	2012-09-25	Paper
Intensional and Extensional Characterisation of Global Progress in the π-Calculus	2012-09-25	Paper
Full Abstraction in a Subtyped pi-Calculus with Linear Types	2011-09-02	Paper
A Theory of Design-by-Contract for Distributed Multiparty Interactions	2010-08-31	Paper
An exact correspondence between a typed pi-calculus and polarised proof-nets	2010-05-27	Paper
Logical Reasoning for Higher-Order Functions with Local State	2009-04-29	Paper
Global Principal Typing in Partially Commutative Asynchronous Sessions	2009-03-31	Paper
Structured Interactional Exceptions in Session Types	2008-11-25	Paper
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes	2008-08-19	Paper
A logical analysis of aliasing in imperative higher-order functions	2007-09-26	Paper
Descriptive and Relative Completeness of Logics for Higher-Order Functions	2007-09-11	Paper
Logical Reasoning for Higher-Order Functions with Local State	2007-09-07	Paper
Structured Communication-Centred Programming for Web Services	2007-09-04	Paper
Linearity and bisimulation	2007-08-10	Paper
Genericity and the \(\pi\)-calculus	2005-12-14	Paper
Noninterference through flow analysis	2005-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q4738241	2004-08-11	Paper
Strong normalisation in the \(\pi\)-calculus	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4417854	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2778815	2002-03-21	Paper
Elementary structures in process theory (1): Sets with renaming	2001-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4518881	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4490761	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4937836	2000-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4937113	2000-02-03	Paper
Game-theoretic analysis of call-by-value computation	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4268454	1999-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4222833	1998-12-13	Paper
On reduction-based process semantics	1997-02-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kohei Honda