Вы здесь

Yoshida N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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