\begin{thebibliography}{10}

\bibitem{synBTTL}
E.M. Clarke and E.A. Emerson.
\newblock ``synthesis of synchronizatoin skeletons from branching time temporal
  logic''.
\newblock In {\em Proc. of the Workshop on Logics of Programs, LNCS-131,
  Springer-Verlag}, 1982.

\bibitem{Cell}
Sony Corporation.
\newblock Cell broadband engine architecture, 2005.

\bibitem{java-conncurrecy}
Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, and Doug
  Lea.
\newblock {\em Java Concurrency in Practice}.
\newblock Addison-Wesley Professional, 2006.

\bibitem{groce04understanding}
A.~Groce, D.~Kroening, and F.~Lerda.
\newblock Understanding counterexamples with explain, 2004.

\bibitem{havelund98model}
K.~Havelund and T.~Pressburger.
\newblock Model checking java programs using java pathfinder, 1998.

\bibitem{holzmann97model}
Gerard~J. Holzmann.
\newblock The model checker {SPIN}.
\newblock {\em Software Engineering}, Vol.~23, No.~5, pp. 279--295, 1997.

\bibitem{spurs}
Keisuke Inoue.
\newblock Spu centric execution model, 2006.

\bibitem{kono93b}
Shinji Kono.
\newblock {A Combination of Clasual and Non Clausal Temporal Logic Program}.
\newblock {\em {IJCAI-93 Workshop on Executable Modal and Temporal Logics}},
  Aug, 1993.

\bibitem{wolper82}
P.~Wolper.
\newblock Synthesis of communicating processes from temporal logic
  specifications.
\newblock Technical Report STAN-CS-82-925, Stanford University, 1982.

\bibitem{cbc-sourceforge}
{河野　真治 }.
\newblock {CbC}, March 2008.

\bibitem{kono01g}
{河野真治(琉球大/科学技術振興事業団), 揚 挺(琉球大)}.
\newblock {C言語のContinuation based C への変換}.
\newblock In {\em SwoPP 2001}, July 2001.

\bibitem{kono08b}
{神里 晃, 河野　真治 }.
\newblock {CからCell Architectureを利用したCbCへの変換}.
\newblock  VLD研究会, March 2008.

\end{thebibliography}