Contents of Report

[Data of Report]

Report Number:: TR449
Date of Registration:: 1989,06
English Title:: A Concurrent Program Synthesis using Petri Net and Temporal Logic in MENDELS ZONE
Japanese Title:: ***
English Author:: N.Uchiyama
Japanese:
Name of Organization to which author belongs:
PDF:: tr0449.pdf

	ABSTRACT	.... 2
1	INTRODUCTION	.... 2
2	CONCURRENT PROGRAM MODEL	.... 3
3	MENDEL/88	.... 4
4	MENDELS ZONE: MENDEL PROGRAM SYNTHESIS ENVIRONMENT	.... 7
5	MENDEL NET	.... 7
6	TEMPORAL SPECIFICATION LANGUAGE	.... 9
7	SYNTHESIS OF SYNCHRONIZATION PART	.... 10
8	SYNTHESIS EXAMPLE: HIERARCHICAL DINING PHILOSOPHERS	.... 12
9	Related Works	.... 13
10	CONCLUSION	.... 13
	ACKNOWLEDGMENT	.... 13
	REFERENCES	.... 14
	End	.... 22

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