Change search
ReferencesLink to record
Permanent link

Direct link
A fully abstract trace model for dataflow networks
Number of Authors: 1
1988 (English)Report (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1988, 1. , 25 p.
Series
SICS Research Report, ISSN 0283-3638 ; R88:16
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22193OAI: oai:DiVA.org:ri-22193DiVA: diva2:1041737
Note
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.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(2904 kB)4 downloads
File information
File name FULLTEXT01.pdfFile size 2904 kBChecksum SHA-512
49e7c46fa362f7d47e23fc084e406fe00a507357b22c47367d6b9fc0c90817b91cf7ea6e6e8d2adffd8a4df6474b12157dab9348d73f6ab4789659d9e84f5512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 4 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link