A fully abstract trace model for dataflow networks

Jonsson, Bengt (1988) A fully abstract trace model for dataflow networks. [SICS Report]



A dataflow network consists of nodes that communicate over perfect FIFO channels. For dataflow networks containing only deterministic nodes, a simple and elegant semantic model has been presented by Kahn. However, for nondeterministic networks, the straight-forward generalization of Kahn's model is not compositional. We present a compositional model for nondeterministic networks, which is fully abstract, i.e., it has added the least amount of extra information to Kahn's model which is necessary for attaining compositionality. The model is based on traces.

Item Type:SICS Report
Additional Information:Earlier version appears in the Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989, pp. 155-65. Original report number R88016.
ID Code:2531
Deposited By:Vicki Carleson
Deposited On:22 Sep 2009
Last Modified:18 Nov 2009 16:10

Repository Staff Only: item control page