Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKohei Honda 0001
Person information
- 1959-2012
- affiliation: Queen Mary University of London, UK
Other persons with the same name
- Kohei Honda 0002
![[0000-0001-8475-4851]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-8475-4851")
— Nagoya University, Nagoya, Aichi, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[j20]Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida:
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669: 33-58 (2017)- 2016
- [j19]Kohei Honda, Nobuko Yoshida, Marco Carbone:
Multiparty Asynchronous Session Types. J. ACM 63(1): 9:1-9:67 (2016) - [j18]Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda:
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2): 303-364 (2016) - 2015
- [j17]Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46(3): 197-225 (2015) - 2014
- [j16]Kohei Honda, Nobuko Yoshida, Martin Berger:
An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. 517: 75-101 (2014) - [c62]Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida:
Structuring Communication with Session Types. Concurrent Objects and Beyond 2014: 105-127 - [c61]Kohei Honda, Nobuko Yoshida, Martin Berger:
Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. RTA-TLCA 2014: 1-20 - 2013
- [c60]Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida:
Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013: 50-65 - [c59]Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda:
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV 2013: 130-148 - 2012
- [j15]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34(2): 8:1-8:78 (2012) - [c58]Tzu-Chun Chen, Kohei Honda:
Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR 2012: 209-224 - [c57]Romain Demangeon, Kohei Honda:
Nested Protocols in Session Types. CONCUR 2012: 272-286 - [c56]Luca Fossati, Kohei Honda, Nobuko Yoshida:
Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR 2012: 287-301 - [c55]Kohei Honda:
Session Types and Distributed Computing. ICALP (2) 2012: 23 - [c54]Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Verification of MPI Programs Using Session Types. EuroMPI 2012: 291-293 - [c53]Nicholas Ng, Nobuko Yoshida, Kohei Honda:
Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS (50) 2012: 202-218 - 2011
- [j14]Kohei Honda, Nobuko Yoshida:
A Unified Theory of Program Logics: An Approach based on the π-Calculus. Comput. J. 54(1): 88-107 (2011) - [c52]Romain Demangeon, Kohei Honda:
Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR 2011: 280-296 - [c51]Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda:
On Asynchronous Session Semantics. FMOODS/FORTE 2011: 228-243 - [c50]Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida:
Scribbling Interactions with a Formal Foundation. ICDCIT 2011: 55-75 - [c49]Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida:
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC 2011: 25-45 - [c48]Kohei Honda:
Understanding Distributed Services through the π-Calculus. WS-FM 2011: 1 - 2010
- [j13]Kohei Honda, Olivier Laurent:
An exact correspondence between a typed pi-calculus and polarised proof-nets. Theor. Comput. Sci. 411(22-24): 2223-2238 (2010) - [c47]Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida:
A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010: 162-176 - [c46]Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda:
Type-Safe Eventful Sessions in Java. ECOOP 2010: 329-353 - [c45]Lasse Nielsen, Nobuko Yoshida, Kohei Honda:
Multiparty Symmetric Sum Types. EXPRESS 2010: 121-135 - [e1]Kohei Honda, Alan Mycroft:
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. EPTCS 69, 2010 [contents]
2000 – 2009
- 2009
- [c44]Dimitris Mostrous, Nobuko Yoshida, Kohei Honda:
Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009: 316-332 - [c43]Marco Carbone, Nobuko Yoshida, Kohei Honda:
Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212 - 2008
- [j12]Nobuko Yoshida, Kohei Honda, Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State. Log. Methods Comput. Sci. 4(4) (2008) - [c42]Kohei Honda, Nobuko Yoshida:
A Unified Theory of Program Logics: An Approach based on the n-Calculus. BCS Int. Acad. Conf. 2008: 259-274 - [c41]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417 - [c40]Raymond Hu, Nobuko Yoshida, Kohei Honda:
Session-Based Distributed Programming in Java. ECOOP 2008: 516-541 - [c39]Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda:
Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246 - [c38]Martin Berger, Kohei Honda, Nobuko Yoshida:
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111 - [c37]Kohei Honda, Nobuko Yoshida, Marco Carbone:
Multiparty asynchronous session types. POPL 2008: 273-284 - [c36]Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Type-Directed Compilation for Multicore Programming. PLACES@DisCoTec 2008: 101-111 - [i1]Nobuko Yoshida, Kohei Honda, Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State. CoRR abs/0806.2448 (2008) - 2007
- [j11]Kohei Honda, Nobuko Yoshida, Marco Carbone:
Web Services, Mobile Processes and Types. Bull. EATCS 91: 160-185 (2007) - [j10]Martin Berger, Kohei Honda, Nobuko Yoshida:
A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. 17(4-5): 473-546 (2007) - [j9]Nobuko Yoshida, Kohei Honda, Martin Berger:
Linearity and bisimulation. J. Log. Algebraic Methods Program. 72(2): 207-238 (2007) - [j8]Kohei Honda, Nobuko Yoshida:
A uniform type structure for secure information flow. ACM Trans. Program. Lang. Syst. 29(6): 31 (2007) - [c35]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17 - [c34]Nobuko Yoshida, Kohei Honda, Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377 - 2006
- [c33]Kohei Honda, Martin Berger, Nobuko Yoshida:
Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) 2006: 360-371 - [c32]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Theoretical Aspects of Communication-Centred Programming. LIX 2006: 125-133 - [c31]Marco Carbone, Kohei Honda, Nobuko Yoshida:
A Calculus of Global Interaction based on Session Types. DCM@ICALP 2006: 127-151 - 2005
- [j7]Martin Berger, Kohei Honda, Nobuko Yoshida:
Genericity and the pi-calculus. Acta Informatica 42(2-3): 83-141 (2005) - [j6]Kohei Honda, Nobuko Yoshida:
Noninterference through flow analysis. J. Funct. Program. 15(2): 293-349 (2005) - [c30]Martin Berger, Kohei Honda, Nobuko Yoshida:
A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293 - [c29]Kohei Honda, Nobuko Yoshida, Martin Berger:
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS 2005: 270-279 - [c28]Kohei Honda:
Process Algebras in the Age of Ubiquitous Computing. APC 25 2005: 217-220 - 2004
- [j5]Nobuko Yoshida, Martin Berger, Kohei Honda:
Strong normalisation in the pi -calculus. Inf. Comput. 191(2): 145-202 (2004) - [c27]Kohei Honda:
From process logic to program logic. ICFP 2004: 163-174 - [c26]Kohei Honda, Nobuko Yoshida:
A compositional logic for polymorphic higher-order functions. PPDP 2004: 191-202 - 2003
- [c25]Martin Berger, Kohei Honda, Nobuko Yoshida:
Genericity and the pi-Calculus. FoSSaCS 2003: 103-119 - 2002
- [c24]Nobuko Yoshida, Kohei Honda, Martin Berger:
Linearity and Bisimulation. FoSSaCS 2002: 417-434 - [c23]Kohei Honda, Nobuko Yoshida:
A uniform type structure for secure information flow. POPL 2002: 81-92 - [c22]Kohei Honda:
Processes and Games. WRLA 2002: 40-69 - 2001
- [c21]Nobuko Yoshida, Martin Berger, Kohei Honda:
Strong Normalisation in the pi-Calculus. LICS 2001: 311-322 - [c20]Martin Berger, Kohei Honda, Nobuko Yoshida:
Sequentiality and the pi-Calculus. TLCA 2001: 29-45 - 2000
- [j4]Kohei Honda:
Elementary structures in process theory (1): Sets with renaming. Math. Struct. Comput. Sci. 10(5): 617-663 (2000) - [c19]Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199 - [c18]Martin Berger, Kohei Honda:
The Two-Phase Commitment Protocol in an Extended pi-Calculus. EXPRESS 2000: 21-46
1990 – 1999
- 1999
- [j3]Kohei Honda:
Semantics Study and Reality of Computing. ACM Comput. Surv. 31(3es): 14 (1999) - [j2]Kohei Honda, Nobuko Yoshida:
Game-Theoretic Analysis of Call-by-Value Computation. Theor. Comput. Sci. 221(1-2): 393-456 (1999) - 1998
- [c17]Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo:
Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP 1998: 122-138 - [c16]Samson Abramsky, Kohei Honda, Guy McCusker:
A Fully Abstract Game Semantics for General References. LICS 1998: 334-344 - [c15]Marcelo P. Fiore, Kohei Honda:
Recursive Types in Games: Axiomatics and Process Representation. LICS 1998: 345-356 - 1997
- [c14]Kohei Honda, Nobuko Yoshida:
Game Theoretic Analysis of Call-by-Value Computation. ICALP 1997: 225-236 - 1996
- [c13]Kohei Honda:
Composing Processes. POPL 1996: 344-357 - [c12]Kohei Honda:
Abstract Process Structures. Linear Logic Tokyo Meeting 1996: 89-105 - 1995
- [j1]Kohei Honda, Nobuko Yoshida:
On Reduction-Based Process Semantics. Theor. Comput. Sci. 151(2): 437-486 (1995) - 1994
- [c11]Kaku Takeuchi, Kohei Honda, Makoto Kubo:
An Interaction-based Language and its Typing System. PARLE 1994: 398-413 - [c10]Kohei Honda, Nobuko Yoshida:
Combinatory Representation of Mobile Processes. POPL 1994: 348-360 - [c9]Kohei Honda, Nobuko Yoshida:
Replication in Concurrent Combinators. TACS 1994: 786-805 - [c8]Kohei Honda:
Notes on P-Algebra 1: Process Structure. Theory and Practice of Parallel Programming 1994: 25-44 - 1993
- [c7]Kohei Honda:
Types for Dyadic Interaction. CONCUR 1993: 509-523 - [c6]Vasco Thudichum Vasconcelos, Kohei Honda:
Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR 1993: 524-538 - [c5]Kohei Honda, Nobuko Yoshida:
On Reduction-Based Semantics. FSTTCS 1993: 373-387 - 1991
- [c4]Kohei Honda, Mario Tokoro:
An Object Calculus for Asynchronous Communication. ECOOP 1991: 133-147 - [c3]Kohei Honda, Mario Tokoro:
On Asynchronous Communication Semantics. Object-Based Concurrent Computing 1991: 21-51 - 1990
- [c2]Kohei Honda, Mario Tokoro:
A small calculus for concurrent objects. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990: 50-54
1980 – 1989
- 1989
- [c1]Mario Tokoro, Kohei Honda:
The Computational Field Model for Open Distributed Environments. Concurrency: Theory, Language, And Architecture 1989: 136-141
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-25 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
