Execution semantics to integrate control flow and data flow.

Bertrand Ibrahim Honitriniela Randriamparany

Published in: CATA (2001)

Keyphrases

control flow
data flow
database machine
active rules
business process models
data transfer
digital signal processing
systolic array
artificial intelligence
transition systems
object oriented software
object oriented
workflow management systems
user interface
formal semantics