default search action
Kohei Honda 0001
Person information
- 1959-2012
- affiliation: Queen Mary University of London, UK
Other persons with the same name
- Kohei Honda 0002
— 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
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669: 33-58 (2017) - 2016
- [j19]Kohei Honda, Nobuko Yoshida
Multiparty Asynchronous Session Types. J. ACM 63(1): 9:1-9:67 (2016) - [j18]Dimitrios Kouzapas
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2): 303-364 (2016) - 2015
- [j17]Romain Demangeon, Kohei Honda, Raymond Hu
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
An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. 517: 75-101 (2014) - [c62]Kohei Honda, Raymond Hu
Structuring Communication with Session Types. Concurrent Objects and Beyond 2014: 105-127 - [c61]Kohei Honda, Nobuko Yoshida
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
Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013: 50-65 - [c59]Raymond Hu
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
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
Verification of MPI Programs Using Session Types. EuroMPI 2012: 291-293 - [c53]Nicholas Ng, Nobuko Yoshida
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
On Asynchronous Session Semantics. FMOODS/FORTE 2011: 228-243 - [c50]Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen
Scribbling Interactions with a Formal Foundation. ICDCIT 2011: 55-75 - [c49]Tzu-Chun Chen
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
Type-Safe Eventful Sessions in Java. ECOOP 2010: 329-353 - [c45]Lasse Nielsen, Nobuko Yoshida
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
Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009: 316-332 - [c43]Marco Carbone, Nobuko Yoshida
Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212 - 2008
- [j12]Nobuko Yoshida
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
Session-Based Distributed Programming in Java. ECOOP 2008: 516-541 - [c39]Nobuko Yoshida
Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246 - [c38]Martin Berger
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111 - [c37]Kohei Honda, Nobuko Yoshida
Multiparty asynchronous session types. POPL 2008: 273-284 - [c36]Kohei Honda, Vasco Thudichum Vasconcelos
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
A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. 17(4-5): 473-546 (2007) - [j9]Nobuko Yoshida
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
Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377 - 2006
- [c33]Kohei Honda, Martin Berger
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
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
A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293 - [c29]Kohei Honda, Nobuko Yoshida
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
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
Genericity and the pi-Calculus. FoSSaCS 2003: 103-119 - 2002
- [c24]Nobuko Yoshida
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
Strong Normalisation in the pi-Calculus. LICS 2001: 311-322 - [c20]Martin Berger
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
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
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-11-25 23:38 CET 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: