Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Spcifying Concurrent Systems in Logic	.... 4
3	Formulation of Streams	.... 5
3.1	Two Level Stream Types	.... 5
3.2	Quantification over Logical Stream Types	.... 8
4	Structual Induction on Logical Streams	.... 8
4.1	Mapstream Function as Stream Transformers	.... 9
4.2	A Problem of Empty Stream	.... 10
4.3	The(MPST)rule	.... 10
5	The Formal System	.... 11
5.1	Non-deterministic λ-calculus	.... 11
5.2	Rules of Inference	.... 12
5.3	Realizability Interpretation	.... 13
6	Examples	.... 14
6.1	Simple Examples	.... 14
6.2	Parameterized Processes and Complete Stream Types	.... 14
6.3	Dynamic Invocation of Processes	.... 15
6.4	Nondeterminacy	.... 15
7	Conclusion and Future Works	.... 16
	References	.... 16
	Appendix1;Proof of Proposition 1	.... 18
	Appendix2;Soundness Proof of Realizability Interpretation	.... 19
	End	.... 21

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