Вы здесь

Главная

Kobayashi N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Asynchronous Communication Model Based on Linear Logic 1993 Kobayashi N., Yonezawa A. Lecture Notes in Computer Science 14.01.1994
СТ ACL - A Concurrent Linear Logic Programming Paradigm 1993 Kobayashi N., Yonezawa A. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ Type-Theoretic Foundations for Concurrent Object-Oriented Programming 1994 Kobayashi N., Yonezawa A. SIGPLAN Notices 22.12.1994
СТ Higher-Order Concurrent Linear Logic Programming 1995 Kobayashi N., Yonezawa A. Lecture Notes in Computer Science 19.05.1995
СТ Static Analysis of Communication for Asynchronous Concurrent Programming Languages 1995 Kobayashi N., Nakade M., Yonezawa A. Lecture Notes in Computer Science Static Analysis 16.11.1995
СТ Partial Evaluation Scheme for Concurrent Languages and Its Correctness 1996 Hosoya H., Kobayashi N., Yonezawa A. Lecture Notes in Computer Science Euro-Par 96 Parallel Processing 11.10.1996
СТ Type-Based Analysis of Communication for Concurrent Programming Languages 1997 Igarashi A., Kobayashi N. Lecture Notes in Computer Science 20.09.1997
СТ A Partially Deadlock-Free Typed Process Calculus 1998 Kobayashi N. ACM Trans. on Programming Languages and Systems 27.11.1998
СТ Linearity and the Pi-Calculus 1999 Kobayashi N., Pierce B. C., Turner D. N. ACM Trans. on Programming Languages and Systems 27.04.2000
СТ Useless-Code Elimination and Program Slicing for the Pi-Calculus 2003 Kobayashi N. Lecture Notes in Computer Science 20.12.2003
СТ Type Systems for Concurrent Programs 2003 Kobayashi N. Lecture Notes in Computer Science 25.12.2003
СТ Type-based information flow analysis for the pi-calculus 2005 Kobayashi N. Acta Informatica 21.02.2006

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Theoretical Aspects of Computer Software: Proc./4th Intern. Symp., TACS 2001, Sendai, Japan, October 2001 2001 Lecture Notes in Computer Science
  1. Kobayashi N.
  2. Pierce B. C.
 04.11.2001
СБ Programming Languages and Systems: Proc./4th Asian Symposium,APLAS 2006, Sydney,Australia,November 2006 2006 Lecture Notes in Computer Science
  1. Kobayashi N.
 10.02.2007
СБ Functional and Logic Programming: Proc./10th International Symposium, FLOPS 2010, Sendai, Japan, April 2010 2010 Lecture Notes in Computer Science
  1. Blume M.
  2. Kobayashi N.
  3. Vidal G.
 22.06.2010
СБ Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday 2014 Lecture Notes in Computer Science
  1. Agha G.
  2. Igarashi A.
  3. Kobayashi N.
  4. Masuhara H.
 18.11.2014
СБ Automata, Languages, and Programming, Part II: Proc./42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 2015 2015 Lecture Notes in Computer Science
  1. Holldorsson M. M.
  2. Iwama K.
  3. Kobayashi N.
  4. Speckmann B.
 24.11.2015
СБ Automata, Languages, and Programming, Part I: Proc./42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 2015 2015 Lecture Notes in Computer Science
  1. Holdorsson M. M.
  2. Iwama K.
  3. Kobayashi N.
  4. Speckmann B.
 24.11.2015