--並行プログラムの調査及びLMNtalでの実装--

-並行・並列処理-

・並行・並列処理について

-並行プログラム及びLMNtal-

・並行プログラムについて

・並行プログラムのLMNtalでの実装

・LMNtalでの並行プログラムの検証

-並行プログラムなどについての文献-

・文献、ウェブページリンク

back homepage