| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kohei Honda, Nobuko Yoshida |
A Unified Theory of Program Logics: An Approach based on the π-Calculus.  |
Comput. J.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Kohei Honda |
Full Abstraction in a Subtyped pi-Calculus with Linear Types. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda |
On Asynchronous Session Semantics. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Understanding Distributed Services through the π-Calculus. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida |
Scribbling Interactions with a Formal Foundation. |
ICDCIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Olivier Laurent |
An exact correspondence between a typed pi-calculus and polarised proof-nets. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Alan Mycroft (eds.) |
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lasse Nielsen, Nobuko Yoshida, Kohei Honda |
Multiparty Symmetric Sum Types |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida |
A Theory of Design-by-Contract for Distributed Multiparty Interactions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda |
Type-Safe Eventful Sessions in Java. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
Type-Directed Compilation for Multicore Programming. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Nobuko Yoshida, Kohei Honda |
Asynchronous Session Types: Exceptions and Multiparty Interactions. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Mostrous, Nobuko Yoshida, Kohei Honda |
Global Principal Typing in Partially Commutative Asynchronous Sessions. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Kohei Honda, Martin Berger |
Logical Reasoning for Higher-Order Functions with Local State. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Kohei Honda, Nobuko Yoshida |
Theoretical Aspects of Communication-Centred Programming. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Kohei Honda, Martin Berger |
Logical Reasoning for Higher-Order Functions with Local State |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marco Carbone, Kohei Honda, Nobuko Yoshida |
Structured Interactional Exceptions in Session Types. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
A Unified Theory of Program Logics: An Approach based on the n-Calculus. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martin Berger, Kohei Honda, Nobuko Yoshida |
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida, Marco Carbone |
Multiparty asynchronous session types. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
multiparty, communications, causality, choreography, structured programming, session types, mobile processes |
| 1 | Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda |
Session-Based Compilation Framework for Multicore Programming. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Hu, Nobuko Yoshida, Kohei Honda |
Session-Based Distributed Programming in Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Kohei Honda, Martin Berger |
Linearity and bisimulation. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Kohei Honda, Nobuko Yoshida |
A Calculus of Global Interaction based on Session Types. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
A uniform type structure for secure information flow. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
The ?-calculus, type-based program analysis, typing system, secure information flow |
| 1 | Kohei Honda, Nobuko Yoshida, Marco Carbone |
Web Services, Mobile Processes and Types. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Berger, Kohei Honda, Nobuko Yoshida |
A logical analysis of aliasing in imperative higher-order functions. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Kohei Honda, Martin Berger |
Logical Reasoning for Higher-Order Functions with Local State. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Kohei Honda, Nobuko Yoshida |
Structured Communication-Centred Programming for Web Services. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Process Algebras in the Age of Ubiquitous Computing. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Martin Berger, Nobuko Yoshida |
Descriptive and Relative Completeness of Logics for Higher-Order Functions. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berger, Kohei Honda, Nobuko Yoshida |
Genericity and the pi-calculus. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
Noninterference through flow analysis. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berger, Kohei Honda, Nobuko Yoshida |
A logical analysis of aliasing in imperative higher-order functions. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
functional programming, typing, aliasing, hoare-logics, ?-calculus, pointers, modalities |
| 1 | Kohei Honda, Nobuko Yoshida, Martin Berger |
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Martin Berger, Kohei Honda |
Strong normalisation in the pi -calculus. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
From process logic to program logic. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
types, duality, hoare logic, ?-calculus, higher-order functions, mobile processes |
| 1 | Kohei Honda, Nobuko Yoshida |
A compositional logic for polymorphic higher-order functions. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
compositional logics, polymorphim, types, higher-order functions |
| 1 | Martin Berger, Kohei Honda, Nobuko Yoshida |
Genericity and the pi-Calculus. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Processes and Games. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
A uniform type structure for secure information flow. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Kohei Honda, Martin Berger |
Linearity and Bisimulation. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berger, Kohei Honda, Nobuko Yoshida |
Sequentiality and the pi-Calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Martin Berger, Kohei Honda |
Strong Normalisation in the pi-Calculus. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Elementary structures in process theory (1): Sets with renaming. |
Mathematical Structures in Computer Science |
2000 |
DBLP BibTeX RDF |
|
| 1 | Martin Berger, Kohei Honda |
The Two-Phase Commitment Protocol in an Extended pi-Calculus. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
Secure Information Flow as Typed Process Behaviour. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
Game-Theoretic Analysis of Call-by-Value Computation. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Semantics Study and Reality of Computing. |
ACM Comput. Surv. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Kohei Honda, Guy McCusker |
A Fully Abstract Game Semantics for General References. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Kohei Honda |
Recursive Types in Games: Axiomatics and Process Representation. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo |
Language Primitives and Type Discipline for Structured Communication-Based Programming. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
Game Theoretic Analysis of Call-by-Value Computation. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Abstract Process Structures. |
Electr. Notes Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Composing Processes. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
On Reduction-Based Process Semantics. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaku Takeuchi, Kohei Honda, Makoto Kubo |
An Interaction-based Language and its Typing System. |
PARLE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
Replication in Concurrent Combinators. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
Combinatory Representation of Mobile Processes. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Notes on P-Algebra 1: Process Structure. |
Theory and Practice of Parallel Programming |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, Kohei Honda |
Principal Typing Schemes in a Polyadic pi-Calculus. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda |
Types for Dynamic Interaction. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida |
On Reduction-Based Semantics. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Mario Tokoro |
A small calculus for concurrent objects. |
OOPS Messenger |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Mario Tokoro |
On Asynchronous Communication Semantics. |
Object-Based Concurrent Computing |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Mario Tokoro |
An Object Calculus for Asynchronous Communication. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Tokoro, Kohei Honda |
The Computational Field Model for Open Distributed Environments. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")