\begin{thebibliography}{KNY95}

\bibitem[KNY95]{Kobayashi95SAS}
Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa.
\newblock Static analysis of communication for asynchronous concurrent
  programming languages.
\newblock In {\em Second International Static Analysis Symposium (SAS'95)},
  volume 983 of {\em Lecture Notes in Computer Science}, pages 225--242.
  Springer Verlag, 1995.
\newblock {\tt http://web.yl.is.s.u-tokyo.ac.jp/pl/ hacl.html}.

\bibitem[KPT96]{Kobayashi96POPL}
Naoki Kobayashi, Benjamin~C. Pierce, and David~N. Turner.
\newblock Linearity and the pi-calculus.
\newblock In {\em Proceedings of ACM SIGACT/SIGPLAN Symposium on Principles of
  Programming Languages}, January 1996.
\newblock {\tt http://web.yl.is.s.u-tokyo.ac.jp/pl/hacl.html}.

\bibitem[KSY94]{Kobayashi94RIMS}
Naoki Kobayashi, Toshihiro Shimizu, and Akinori Yonezawa.
\newblock Concurrent programming in linear logic.
\newblock In {\em Theory of Concurrent Computation and Its Applications},
  volume 902 of {\em RIMS Lecture Notes}, pages 103--116, 1994.
\newblock {\tt http://web.yl.is.s.u-tokyo.ac.jp/pl/ hacl.html}.

\bibitem[KY]{Kobayashi95TAPOS}
Naoki Kobayashi and Akinori Yonezawa.
\newblock Towards foundations for concurrent object-oriented programming --
  types and language design --.
\newblock to appear in Theory and Practice of Object Systems, John Wiley \&
  Sons.
\newblock {\tt http://web.yl.is.s.u-tokyo.ac.jp/pl/hacl.html}.

\bibitem[KY93a]{Kobayashi93ILPS}
Naoki Kobayashi and Akinori Yonezawa.
\newblock {ACL} -- a concurrent linear logic programming paradigm.
\newblock In {\em Logic Programming: Proceedings of the 1993 International
  Symposium}, pages 279--294. MIT Press, 1993.
\newblock {\tt http://web.yl.is.s.u-tokyo.ac.jp/pl/hacl.html}.

\bibitem[KY93b]{Kobayashi93LLW}
Naoki Kobayashi and Akinori Yonezawa.
\newblock Logical, testing, and observation equivalence for processes in a
  linear logic programming.
\newblock Technical Report 93-4, Department of Information Science, University
  of Tokyo, 1993.
\newblock presented at Linear Logic Workshop, Cornell University, {\tt
  http://web.yl.is.s.u-tokyo.ac.jp/pl/hacl.html}.

\bibitem[KY94]{Kobayashi94OOPSLA}
Naoki Kobayashi and Akinori Yonezawa.
\newblock Type-theoretic foundations for concurrent object-oriented
  programming.
\newblock In {\em Proceedings of ACM SIGPLAN Conference on Object-Oriented
  Programming Systems, Languages, and Applications (OOPSLA'94)}, pages 31--45,
  1994.
\newblock {\tt http://web.yl.is.s.u-tokyo.ac.jp/pl/hacl.html}.

\bibitem[KY95a]{Kobayashi95FAC}
Naoki Kobayashi and Akinori Yonezawa.
\newblock Asynchronous communication model based on linear logic.
\newblock {\em Formal Aspects of Computing, Springer-Verlag}, 7(2):113--149,
  1995.
\newblock {\tt http://web.yl.is.s.u-tokyo. ac.jp/pl/hacl.html}.

\bibitem[KY95b]{Kobayashi95TPPP}
Naoki Kobayashi and Akinori Yonezawa.
\newblock Higher-order concurrent linear logic programming.
\newblock In {\em Theory and Practice of Parallel Programming}, volume 907 of
  {\em Lecture Notes in Computer Science}, pages 137--166. Springer Verlag,
  1995.
\newblock {\tt http://web.yl.is.s.u-tokyo. ac.jp/pl/hacl.html}.

\bibitem[NY94]{Nakaya94JSSST}
Akihiro Nakaya and Naoki Kobayashi~Akinori Yonezawa.
\newblock ���`�_���^����̘g�g{HACL}�Ɋ�Â��^������I�u�W�F�N �g�w������.
\newblock In {\em 11th Conference Proceedings of Japan Society for Software
  Science andTechnology}, pages 485--488, 1994.
\newblock {\tt http://web.yl.is. s.u-tokyo.ac.jp/pl/hacl.html}.

\end{thebibliography}
