СТ |
A Distributed Abstract Machine for Boxed Ambient Calculi |
2004 |
Phillips A., Yoshida N., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
СТ |
Channel Dependent Types for Higher-Order Mobile Processes |
2004 |
Yoshida N. |
|
|
|
POPL 2004 |
09.06.2004 |
СТ |
Genericity and the pi-calculus |
2005 |
Berger M., Honda K., Yoshida N. |
|
|
|
Acta Informatica |
20.12.2005 |
СТ |
Graph Notation for Concurrent Combinators |
1995 |
Yoshida N. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
СТ |
SafeDpi: A Language for Controlling Mobile Code |
2004 |
Hennessy M., Rathke J., Yoshida N. |
|
|
|
Lecture Notes in Computer Science |
30.04.2004 |
СТ |
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML |
1999 |
Ohori A., Yoshida N. |
|
|
|
SIGPLAN Notices |
20.12.1999 |