Вы здесь

Главная

Yoshida N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Genericity and the pi-calculus 2005 Berger M., Honda K., Yoshida N. Acta Informatica 20.12.2005
СТ Channel Dependent Types for Higher-Order Mobile Processes 2004 Yoshida N. POPL 2004 09.06.2004
СТ SafeDpi: A Language for Controlling Mobile Code 2004 Hennessy M., Rathke J., Yoshida N. Lecture Notes in Computer Science 30.04.2004
СТ A Distributed Abstract Machine for Boxed Ambient Calculi 2004 Phillips A., Yoshida N., Eisenbach S. Lecture Notes in Computer Science 23.04.2004
СТ Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML 1999 Ohori A., Yoshida N. SIGPLAN Notices 20.12.1999
СТ Graph Notation for Concurrent Combinators 1995 Yoshida N. Lecture Notes in Computer Science 19.05.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Programming Languages and Systems: Proc./30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021 2021 Lecture Notes in Computer Science
  1. Yoshida N.
 16.04.2021
СБ Formal Techniques for Distributed Objects, Components, and Systems: Proc./39th IFIP 6.1 International Conference, FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 2019 2019 Lecture Notes in Computer Science
  1. Perez J. A.
  2. Yoshida N.
 28.06.2019
СБ CONCUR 2004 - Concurrency Theory: Proc./15th International Conference. London, UK, August/September 2004 2004 Lecture Notes in Computer Science
  1. Gardner Ph.
  2. Yoshida N.
 21.10.2004