From Control Flow to Dataflow.

Micah Beck Keshav Pingali

Published in: ICPP (2) (1990)

Keyphrases

control flow
data flow
process model
software testing
transition systems
cooperative
data structure
reactive systems
workflow processes
database
business process models
formal semantics
workflow management systems
modeling language
inference rules
test cases
expert systems
multi agent systems
real world
databases