 | 2009 |
|---|
| 56 |       | Dimitris Mostrous,
Nobuko Yoshida,
Kohei Honda:
Global Principal Typing in Partially Commutative Asynchronous Sessions.
ESOP 2009: 316-332 |
| 55 | | Marco Carbone,
Nobuko Yoshida,
Kohei Honda:
Asynchronous Session Types: Exceptions and Multiparty Interactions.
SFM 2009: 187-212 |
| 54 | | Kohei Honda,
Vasco Thudichum Vasconcelos,
Nobuko Yoshida:
Type-Directed Compilation for Multicore Programming.
Electr. Notes Theor. Comput. Sci. 241: 101-111 (2009) |
| 2008 |
|---|
| 53 | | Kohei Honda,
Nobuko Yoshida:
A Unified Theory of Program Logics: An Approach based on the n-Calculus.
BCS Int. Acad. Conf. 2008: 259-274 |
| 52 | | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Structured Interactional Exceptions in Session Types.
CONCUR 2008: 402-417 |
| 51 | | Raymond Hu,
Nobuko Yoshida,
Kohei Honda:
Session-Based Distributed Programming in Java.
ECOOP 2008: 516-541 |
| 50 | | Nobuko Yoshida,
Vasco Thudichum Vasconcelos,
Hervé Paulino,
Kohei Honda:
Session-Based Compilation Framework for Multicore Programming.
FMCO 2008: 226-246 |
| 49 | | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
ICALP (2) 2008: 99-111 |
| 48 | | Kohei Honda,
Nobuko Yoshida,
Marco Carbone:
Multiparty asynchronous session types.
POPL 2008: 273-284 |
| 47 | | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State
CoRR abs/0806.2448: (2008) |
| 46 | | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Theoretical Aspects of Communication-Centred Programming.
Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008) |
| 45 | | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State.
Logical Methods in Computer Science 4(4): (2008) |
| 2007 |
|---|
| 44 | | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Structured Communication-Centred Programming for Web Services.
ESOP 2007: 2-17 |
| 43 | | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State.
FoSSaCS 2007: 361-377 |
| 42 | | Kohei Honda,
Nobuko Yoshida:
A uniform type structure for secure information flow.
ACM Trans. Program. Lang. Syst. 29(6): (2007) |
| 41 | | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
A Calculus of Global Interaction based on Session Types.
Electr. Notes Theor. Comput. Sci. 171(3): 127-151 (2007) |
| 40 | | 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) |
| 39 | | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Linearity and bisimulation.
J. Log. Algebr. Program. 72(2): 207-238 (2007) |
| 2006 |
|---|
| 38 | | Kohei Honda,
Martin Berger,
Nobuko Yoshida:
Descriptive and Relative Completeness of Logics for Higher-Order Functions.
ICALP (2) 2006: 360-371 |
| 37 | | Kohei Honda:
Process Algebras in the Age of Ubiquitous Computing.
Electr. Notes Theor. Comput. Sci. 162: 217-220 (2006) |
| 2005 |
|---|
| 36 | | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
A logical analysis of aliasing in imperative higher-order functions.
ICFP 2005: 280-293 |
| 35 | | Kohei Honda,
Nobuko Yoshida,
Martin Berger:
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.
LICS 2005: 270-279 |
| 34 | | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
Genericity and the pi-calculus.
Acta Inf. 42(2-3): 83-141 (2005) |
| 33 | | Kohei Honda,
Nobuko Yoshida:
Noninterference through flow analysis.
J. Funct. Program. 15(2): 293-349 (2005) |
| 2004 |
|---|
| 32 | | Kohei Honda:
From process logic to program logic.
ICFP 2004: 163-174 |
| 31 | | Kohei Honda,
Nobuko Yoshida:
A compositional logic for polymorphic higher-order functions.
PPDP 2004: 191-202 |
| 30 | | Nobuko Yoshida,
Martin Berger,
Kohei Honda:
Strong normalisation in the pi -calculus.
Inf. Comput. 191(2): 145-202 (2004) |
| 2003 |
|---|
| 29 | | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
Genericity and the pi-Calculus.
FoSSaCS 2003: 103-119 |
| 2002 |
|---|
| 28 | | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Linearity and Bisimulation.
FoSSaCS 2002: 417-434 |
| 27 | | Kohei Honda,
Nobuko Yoshida:
A uniform type structure for secure information flow.
POPL 2002: 81-92 |
| 26 | | Kohei Honda:
Processes and Games.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 2001 |
|---|
| 25 |  | Nobuko Yoshida,
Martin Berger,
Kohei Honda:
Strong Normalisation in the pi-Calculus.
LICS 2001: 311-322 |
| 24 | | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
Sequentiality and the pi-Calculus.
TLCA 2001: 29-45 |
| 2000 |
|---|
| 23 | | Kohei Honda,
Vasco Thudichum Vasconcelos,
Nobuko Yoshida:
Secure Information Flow as Typed Process Behaviour.
ESOP 2000: 180-199 |
| 22 | | Martin Berger,
Kohei Honda:
The Two-Phase Commitment Protocol in an Extended pi-Calculus.
Electr. Notes Theor. Comput. Sci. 39(1): (2000) |
| 21 | | Kohei Honda:
Elementary structures in process theory (1): Sets with renaming.
Mathematical Structures in Computer Science 10(5): 617-663 (2000) |
| 1999 |
|---|
| 20 | | Kohei Honda:
Semantics Study and Reality of Computing.
ACM Comput. Surv. 31(3es): 14 (1999) |
| 19 | | Kohei Honda,
Nobuko Yoshida:
Game-Theoretic Analysis of Call-by-Value Computation.
Theor. Comput. Sci. 221(1-2): 393-456 (1999) |
| 1998 |
|---|
| 18 | | Kohei Honda,
Vasco Thudichum Vasconcelos,
Makoto Kubo:
Language Primitives and Type Discipline for Structured Communication-Based Programming.
ESOP 1998: 122-138 |
| 17 | | Samson Abramsky,
Kohei Honda,
Guy McCusker:
A Fully Abstract Game Semantics for General References.
LICS 1998: 334-344 |
| 16 | | Marcelo P. Fiore,
Kohei Honda:
Recursive Types in Games: Axiomatics and Process Representation.
LICS 1998: 345-356 |
| 1997 |
|---|
| 15 | | Kohei Honda,
Nobuko Yoshida:
Game Theoretic Analysis of Call-by-Value Computation.
ICALP 1997: 225-236 |
| 1996 |
|---|
| 14 | | Kohei Honda:
Composing Processes.
POPL 1996: 344-357 |
| 13 | | Kohei Honda:
Abstract Process Structures.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1995 |
|---|
| 12 | | Kohei Honda,
Nobuko Yoshida:
On Reduction-Based Process Semantics.
Theor. Comput. Sci. 151(2): 437-486 (1995) |
| 1994 |
|---|
| 11 | | Kaku Takeuchi,
Kohei Honda,
Makoto Kubo:
An Interaction-based Language and its Typing System.
PARLE 1994: 398-413 |
| 10 | | Kohei Honda,
Nobuko Yoshida:
Combinatory Representation of Mobile Processes.
POPL 1994: 348-360 |
| 9 | | Kohei Honda,
Nobuko Yoshida:
Replication in Concurrent Combinators.
TACS 1994: 786-805 |
| 8 | | Kohei Honda:
Notes on P-Algebra 1: Process Structure.
Theory and Practice of Parallel Programming 1994: 25-44 |
| 1993 |
|---|
| 7 | | Kohei Honda:
Types for Dynamic Interaction.
CONCUR 1993: 509-523 |
| 6 | | Vasco Thudichum Vasconcelos,
Kohei Honda:
Principal Typing Schemes in a Polyadic pi-Calculus.
CONCUR 1993: 524-538 |
| 5 | | Kohei Honda,
Nobuko Yoshida:
On Reduction-Based Semantics.
FSTTCS 1993: 373-387 |
| 1991 |
|---|
| 4 | | Kohei Honda,
Mario Tokoro:
An Object Calculus for Asynchronous Communication.
ECOOP 1991: 133-147 |
| 3 | | Kohei Honda,
Mario Tokoro:
On Asynchronous Communication Semantics.
Object-Based Concurrent Computing 1991: 21-51 |
| 2 | | Kohei Honda,
Mario Tokoro:
A small calculus for concurrent objects.
OOPS Messenger 2(2): 50-54 (1991) |
| 1989 |
|---|
| 1 | | Mario Tokoro,
Kohei Honda:
The Computational Field Model for Open Distributed Environments.
Concurrency: Theory, Language, And Architecture 1989: 136-141 |
