The expressive power of indeterminate dataflow primitives
type: Item
instance of: scholarly article
title: The expressive power of indeterminate dataflow primitives
zbMATH Open document ID: 0754.68082
DOI: 10.1016/0890-5401(92)90043-F
author: Prakash Panangaden
author: Vasant Shanbhogue
published in: Information and Computation
publication date: 1993-01-17T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 97533
zbMATH Keywords: indeterminate computing systems
zbMATH Keywords: distributed systems
zbMATH Keywords: trace semantics
MaRDI profile type: Publication
cites work: Theory of traces
cites work: Q3325069
cites work: Proof rules and transformations dealing with fairness
cites work: Countable nondeterminism and random assignment
cites work: Q3657421
cites work: Linear time and branching time semantics for recursion with merge
cites work: Q3738540
cites work: A fully abstract trace model for dataflow and asynchronous networks
cites work: Q4151149
cites work: Q3680240
cites work: Q4723281
cites work: A proof of the Kahn principle for input/output automata
cites work: Nonexpressibility of fairness and signaling
cites work: Q3680241
cites work: Q3795195
cites work: Q3042377
cites work: A Powerdomain Construction
cites work: Q4749207
cites work: Q4733393
cites work: Concurrent transition systems
full work available at URL: 0890-5401(92)90043-f
OpenAlex ID: W1973795188
Recommended article: The expressive power of indeterminate primitives in asynchronous computation
Recommended article: Intensional and extensional semantics of dataflow programs
Recommended article: An extensional fixed-point semantics for nondeterministic data flow
Recommended article: A fixpoint semantics for nondeterministic data flow
Recommended article: Q3975156
Recommended article: Q3347258
Recommended article: On the complexity of flow-sensitive dataflow analyses
Recommended article: Dataflow computing and Eager and Lazy evaluations
Recommended article: Q4889401
description: scientific article; zbMATH DE number 97533