Вы здесь

Honda K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Genericity and the pi-calculus 2005 Berger M., Honda K., Yoshida N. Acta Informatica 20.12.2005
СТ Language Primitives and Type Discipline for Structured Communication-Based Programming 1998 Honda K., Vasconcelos V. T., Kubo M. Lecture Notes in Computer Science 17.04.1998
СТ Notes on P-algebra 1: Process Structure 1995 Honda K. Lecture Notes in Computer Science 19.05.1995
СТ An Interaction-Based Language and Its Typing System 1994 Takeuchi K., Honda K., Kubo M. Lecture Notes in Computer Science 25.08.1994
СТ Types for Dyadic Interaction 1993 Honda K. Lecture Notes in Computer Science 19.10.1993
СТ Principal Typing Schemes in a Polyadic pi-Calculus 1993 Vasconcelos V. T., Honda K. Lecture Notes in Computer Science 19.10.1993
СТ On Asynchronous Communication Semantics 1992 Honda K., Tokoro M. Lecture Notes in Computer Science 22.07.1992