Search the dblp DataBase
Kohei Honda :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kohei Honda Types for Dynamic Interaction. [Citation Graph (0, 0)][DBLP ] CONCUR, 1993, pp:509-523 [Conf ] Mario Tokoro , Kohei Honda The Computational Field Model for Open Distributed Environments. [Citation Graph (0, 0)][DBLP ] Concurrency: Theory, Language, And Architecture, 1989, pp:136-141 [Conf ] Vasco Thudichum Vasconcelos , Kohei Honda Principal Typing Schemes in a Polyadic pi-Calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 1993, pp:524-538 [Conf ] Kohei Honda , Mario Tokoro An Object Calculus for Asynchronous Communication. [Citation Graph (0, 0)][DBLP ] ECOOP, 1991, pp:133-147 [Conf ] Kohei Honda , Mario Tokoro On Asynchronous Communication Semantics. [Citation Graph (0, 0)][DBLP ] Object-Based Concurrent Computing, 1991, pp:21-51 [Conf ] Kohei Honda , Vasco Thudichum Vasconcelos , Makoto Kubo Language Primitives and Type Discipline for Structured Communication-Based Programming. [Citation Graph (0, 0)][DBLP ] ESOP, 1998, pp:122-138 [Conf ] Kohei Honda , Vasco Thudichum Vasconcelos , Nobuko Yoshida Secure Information Flow as Typed Process Behaviour. [Citation Graph (0, 0)][DBLP ] ESOP, 2000, pp:180-199 [Conf ] Martin Berger , Kohei Honda , Nobuko Yoshida Genericity and the pi-Calculus. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2003, pp:103-119 [Conf ] Nobuko Yoshida , Kohei Honda , Martin Berger Linearity and Bisimulation. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2002, pp:417-434 [Conf ] Kohei Honda , Nobuko Yoshida On Reduction-Based Semantics. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:373-387 [Conf ] Kohei Honda , Martin Berger , Nobuko Yoshida Descriptive and Relative Completeness of Logics for Higher-Order Functions. [Citation Graph (0, 0)][DBLP ] ICALP (2), 2006, pp:360-371 [Conf ] Kohei Honda , Nobuko Yoshida Game Theoretic Analysis of Call-by-Value Computation. [Citation Graph (0, 0)][DBLP ] ICALP, 1997, pp:225-236 [Conf ] Martin Berger , Kohei Honda , Nobuko Yoshida A logical analysis of aliasing in imperative higher-order functions. [Citation Graph (0, 0)][DBLP ] ICFP, 2005, pp:280-293 [Conf ] Kohei Honda From process logic to program logic. [Citation Graph (0, 0)][DBLP ] ICFP, 2004, pp:163-174 [Conf ] Samson Abramsky , Kohei Honda , Guy McCusker A Fully Abstract Game Semantics for General References. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:334-344 [Conf ] Marcelo P. Fiore , Kohei Honda Recursive Types in Games: Axiomatics and Process Representation. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:345-356 [Conf ] Kohei Honda , Nobuko Yoshida , Martin Berger An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:270-279 [Conf ] Nobuko Yoshida , Martin Berger , Kohei Honda Strong Normalisation in the pi-Calculus. [Citation Graph (0, 0)][DBLP ] LICS, 2001, pp:311-322 [Conf ] Kaku Takeuchi , Kohei Honda , Makoto Kubo An Interaction-based Language and its Typing System. [Citation Graph (0, 0)][DBLP ] PARLE, 1994, pp:398-413 [Conf ] Kohei Honda Composing Processes. [Citation Graph (0, 0)][DBLP ] POPL, 1996, pp:344-357 [Conf ] Kohei Honda , Nobuko Yoshida A uniform type structure for secure information flow. [Citation Graph (0, 0)][DBLP ] POPL, 2002, pp:81-92 [Conf ] Kohei Honda , Nobuko Yoshida Combinatory Representation of Mobile Processes. [Citation Graph (0, 0)][DBLP ] POPL, 1994, pp:348-360 [Conf ] Kohei Honda , Nobuko Yoshida A compositional logic for polymorphic higher-order functions. [Citation Graph (0, 0)][DBLP ] PPDP, 2004, pp:191-202 [Conf ] Kohei Honda , Nobuko Yoshida Replication in Concurrent Combinators. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:786-805 [Conf ] Martin Berger , Kohei Honda , Nobuko Yoshida Sequentiality and the pi-Calculus. [Citation Graph (0, 0)][DBLP ] TLCA, 2001, pp:29-45 [Conf ] Kohei Honda Notes on P-Algebra 1: Process Structure. [Citation Graph (0, 0)][DBLP ] Theory and Practice of Parallel Programming, 1994, pp:25-44 [Conf ] Martin Berger , Kohei Honda , Nobuko Yoshida Genericity and the pi-calculus. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2005, v:42, n:2-3, pp:83-141 [Journal ] Kohei Honda Semantics Study and Reality of Computing. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1999, v:31, n:3es, pp:14- [Journal ] Martin Berger , Kohei Honda The Two-Phase Commitment Protocol in an Extended pi-Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:39, n:1, pp:- [Journal ] Kohei Honda Processes and Games. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal ] Kohei Honda Abstract Process Structures. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal ] Kohei Honda Process Algebras in the Age of Ubiquitous Computing. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:217-220 [Journal ] Nobuko Yoshida , Martin Berger , Kohei Honda Strong normalisation in the pi -calculus. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2004, v:191, n:2, pp:145-202 [Journal ] Kohei Honda , Nobuko Yoshida Noninterference through flow analysis. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2005, v:15, n:2, pp:293-349 [Journal ] Kohei Honda Elementary structures in process theory (1): Sets with renaming. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2000, v:10, n:5, pp:617-663 [Journal ] Kohei Honda , Mario Tokoro A small calculus for concurrent objects. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1991, v:2, n:2, pp:50-54 [Journal ] Kohei Honda , Nobuko Yoshida On Reduction-Based Process Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:151, n:2, pp:437-486 [Journal ] Kohei Honda , Nobuko Yoshida Game-Theoretic Analysis of Call-by-Value Computation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:221, n:1-2, pp:393-456 [Journal ] Marco Carbone , Kohei Honda , Nobuko Yoshida Structured Communication-Centred Programming for Web Services. [Citation Graph (0, 0)][DBLP ] ESOP, 2007, pp:2-17 [Conf ] Nobuko Yoshida , Kohei Honda , Martin Berger Logical Reasoning for Higher-Order Functions with Local State. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2007, pp:361-377 [Conf ] Marco Carbone , Kohei Honda , Nobuko Yoshida A Calculus of Global Interaction based on Session Types. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:171, n:3, pp:127-151 [Journal ] Nobuko Yoshida , Kohei Honda , Martin Berger Linearity and bisimulation. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2007, v:72, n:2, pp:207-238 [Journal ] Kohei Honda , Nobuko Yoshida A uniform type structure for secure information flow. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal ] Structured Interactional Exceptions in Session Types. [Citation Graph (, )][DBLP ] A Theory of Design-by-Contract for Distributed Multiparty Interactions. [Citation Graph (, )][DBLP ] Session-Based Distributed Programming in Java. [Citation Graph (, )][DBLP ] Type-Safe Eventful Sessions in Java. [Citation Graph (, )][DBLP ] Global Principal Typing in Partially Commutative Asynchronous Sessions. [Citation Graph (, )][DBLP ] Session-Based Compilation Framework for Multicore Programming. [Citation Graph (, )][DBLP ] Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. [Citation Graph (, )][DBLP ] Multiparty asynchronous session types. [Citation Graph (, )][DBLP ] Asynchronous Session Types: Exceptions and Multiparty Interactions. [Citation Graph (, )][DBLP ] A Unified Theory of Program Logics: An Approach based on the n-Calculus. [Citation Graph (, )][DBLP ] Logical Reasoning for Higher-Order Functions with Local State [Citation Graph (, )][DBLP ] Theoretical Aspects of Communication-Centred Programming. [Citation Graph (, )][DBLP ] Type-Directed Compilation for Multicore Programming. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.154secs