Presentation | 1994/10/21 An Formatization for Deterministic Data Flow Networks and an Interpretation for the Fixed Point Yuji Hayashi, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | A data flow network is a computational model that connects processes acting in parallel with channels of FIFO mechanisms. Kahn[1974]reported for the first time the existence of a fixed point of continuous functions for deterministic data flow networks. He investigated the networks with processes written simply by his programming language,but he did not formalize them rigorously.In this paper deterministic data flow networks are formalized,the existence of the fixed point is showed from a viewpoint of the denotational semantics and the meanings of the fixed point are investigated. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | data flow network / denotational semantics / process / fixed point |
Paper # | COMP94-50 |
Date of Issue |
Conference Information | |
Committee | COMP |
---|---|
Conference Date | 1994/10/21(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Theoretical Foundations of Computing (COMP) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | An Formatization for Deterministic Data Flow Networks and an Interpretation for the Fixed Point |
Sub Title (in English) | |
Keyword(1) | data flow network |
Keyword(2) | denotational semantics |
Keyword(3) | process |
Keyword(4) | fixed point |
1st Author's Name | Yuji Hayashi |
1st Author's Affiliation | Hokkaido Information University() |
Date | 1994/10/21 |
Paper # | COMP94-50 |
Volume (vol) | vol.94 |
Number (no) | 304 |
Page | pp.pp.- |
#Pages | 10 |
Date of Issue |