Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Report of Parallel Suspension	.... 5
2.1	How to Report Perpetual Suspension	.... 5
2.2	Expection Handlimg Mechanism of KL1	.... 5
3	Suspension Mechanism and Causality Graph	.... 7
3.1	Suspension Mechanism	.... 7
3.2	Maximal Goal of Perpetual Suspension	.... 7
4	Algorithm	.... 9
4.1	Detection	.... 10
4.2	Search for Perpetually-suspended Goals	.... 10
4.3	Algorithm for Discovering the Maximal Goals	.... 10
5	Discussion	.... 14
5.1	Overhead	.... 14
5.2	Limitations	.... 14
6	Conclusion and Future Work	.... 15
	Acknowledgements	.... 16
	References	.... 16
	End	.... 17

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