Contents of Report

[Data of Report]

Report Number:: TR0741
Date of Registration:: 1992.02
English Title:: Compositional Adujustment of Concurrent Processes to Satisfy Temporal Logic Constraints in MENDELS ZONE
Japanese Title:: ***
English Author:: N.Uchiyama,M.Arai,S.Honiden
Japanese:: ***
Name of Organization to which author belongs:: Tohsibs,Toshibs,Toshibs
PDF:: tr0741.pdf

	Keywords	.... 2
	Abstract	.... 2
1	Introduction	.... 2
2	Finite State Prosesses	.... 3
2.1	Finite State Prosesses	.... 3
2.2	Equivalence of Finite State Prosesses	.... 4
2.3	Operators on Finite State Processes	.... 5
3	Program Adjustment	.... 6
3.1	Basic Adjustment	.... 6
3.2	Compositional Adjustment	.... 8
4	MENDELS ZONE	.... 9
4.1	Overview	.... 9
4.2	MENDEL Net	.... 9
4.3	MENDEL Net Construction	.... 10
4.4	MENDEL Net Verification and Adjustment	.... 10
4.5	Compilation to KL1 and Execution	.... 12
5	Example;The Seqence Control program	.... 12
6	Conclusion and Related Works	.... 14
7	Acknowledgement	.... 14
8	References	.... 14
	End	.... 15

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