СТ |
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 |