Contents of Report


[Data of Report]

Report Number:
TM1210
Date of Registration:
1992.09
English Title:
Duality of Processes and Messages in FGHC Programs
Japanese Title:
FGHCプログラムにおけるプロセスとメッセージの双対正
English Author:
K.Hirata,K.Kumon
Japanese:
平田 圭二,久門 耕一
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm1210.pdf

[Contents]

概要.... 2
1はじめに.... 2
2FGHCプログラムの双対性.... 2
3双対なプログラムへの書き換え.... 3
4例題.... 4
5おわりに.... 5
謝辞.... 5
参考文献.... 5


目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda