Denotational Semantics of Timed Dataflow Programs.

Thomas P. Jensen

Published in: Theory and Formal Methods (1994)

Keyphrases

denotational semantics
programming language
control flow
operational semantics
petri net
data flow
query language
parallel computing
database systems
data analysis
data model
object oriented
intelligent systems
dynamic environments
parallel execution