An Extensional Fixed-Point Semantics for Nondeterministic Data Flow.

Peter Kearney John Staples

Published in: Theor. Comput. Sci. (1991)

Keyphrases

data flow
fixed point semantics
database machine
logic programs
control flow
object oriented software
data transfer
digital signal processing
object oriented
databases
systolic array
bottle neck
metadata
relational databases
partial order