Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Fully Abstract Trace Model for Dataflow and Asynchronous Networks
RISE, Swedish ICT, SICS.
1990 (English)Report (Refereed)
Abstract [en]

A dataflow network consists of nodes that communicate over perfect unbounded 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. We also generalize our result, showing that the model is fully abstract also for classes of networks where nodes communicate over other types of asynchronous channels. Exaamples of such classes are networks with unordered channels, and networks with lossy channels.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1990, 1. , 28 p.
Series
SICS Research Report, ISSN 0283-3638 ; R90:12
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21346OAI: oai:DiVA.org:ri-21346DiVA: diva2:1041380
Note

Original report number R90012. (Revised and extended version of a paper that appeared under the title " A Fully Abstrtact trace Model for Dataflow Networks" in the Proceedings of the 16th Annual ACM Symposium on Principles of Programming Language, Austin Texas, January 1989.)

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-24Bibliographically approved

Open Access in DiVA

fulltext(3496 kB)15 downloads
File information
File name FULLTEXT01.pdfFile size 3496 kBChecksum SHA-512
f41c0fb25a91bb5107cd9f8137b82a3a8df6592c11281dccd34ea3f14de019b615f36f4b95881083c3d2832519598166bc3cf10b57e9f2842ffa4a4d5883bbcf
Type fulltextMimetype application/pdf

By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 15 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

Total: 9 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf