Control-Flow Decoupling.

Rami Sheikh James Tuck Eric Rotenberg

Published in: MICRO (2012)

Keyphrases

control flow
data flow
input output
process model
software testing
workflow management systems
modeling language
transition systems
reactive systems
business process models
distributed systems
memory hierarchy