@book{CTT100688156,
  author = {Gul Agha and Atsushi Igarashi and Naoki Kobayashi and Hidehiko Masuhara and Etsuya Shibayama and Kenjiro Taura and Satoshi  Matsuoka and Akinori Yonezawa},
  title = {Concurrent Objects and Beyond},
  publisher = {Springer-Verlag},
  year = 2014,
}

@article{CTT100491882,
  author = {Atsushi Igarashi and Naoki Kobayashi},
  title = {A Generic Type System for the Pi-Calculus},
  journal = {Theoretical Computer Science},
  year = 2003,
}

@article{CTT100466612,
  author = {Futoshi Iwama and Naoki Kobayashi},
  title = {A New Type System for JVM Lock Primitives},
  journal = {Proceedings of ACM SIGPLAN ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM'02)},
  year = 2002,
}

@article{CTT100450396,
  author = {Naoki Kobayashi},
  title = {Type-Based Useless-Variable Elimination},
  journal = {Higher-Order Symbolic Computation},
  year = 2001,
}

@article{CTT100450395,
  author = {A. Igarashi and N. Kobayashi},
  title = {A Generic Type System for the Pi-Calculus},
  journal = {Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = 2001,
}

@article{CTT100450394,
  author = {N. Kobayashi and T. Shimizu and A. Yonezawa},
  title = {Distributed Concurrent Linear Logic Programming},
  journal = {Theoretical Computer Science},
  year = 2000,
}

@article{CTT100450393,
  author = {N. Kobayashi and B. C. Pierce and D. N. Turner},
  title = {Linearity and the Pi-Calculus},
  journal = {ACM Transactions on Programming Languages and Systems},
  year = 1999,
}

@article{CTT100450392,
  author = {Naoki Kobayashi},
  title = {A Partially Deadlock-Free Typed Process Calculus},
  journal = {ACM Transactions on Programming Languages and Systems},
  year = 1998,
}

@inproceedings{CTT100548420,
  author = {ETSUYA SHIBAYAMA and Shigeki Hagihara and Naoki Kobayashi and Shin-ya Nishizaki and Kenjiro Taura and Takuo Watanabe},
  title = {AnZenMail: A Secure and Certified E-mail System},
  booktitle = {Lecture Notes in Computer Science (Software Security: Theories and Systems)},
  year = 2003,
}

@misc{CTT100595897,
  author = {Naoki Kobayashi},
  title = {Concurrent Linear Logic Programming},
  year = 1996,
}



@phdthesis{CTT100595897,
  author = {Naoki Kobayashi},
  title = {Concurrent Linear Logic Programming},
  school = {東京大学},
  year = 1996,
}