Algebraic Techniques for the Optimization of Control Flow Checking.

Guevara Noubir Berthe Y. Choueiry

Published in: FTCS (1996)

Keyphrases

control flow
data flow
optimization problems
software testing
transition systems
process model
modeling language
cooperative
optimization algorithm
databases
information systems
software engineering
workflow management systems
business process models