A Compositional Logic for Control Flow.

Gang Tan Andrew W. Appel

Published in: VMCAI (2006)

Keyphrases

control flow
transition systems
data flow
process model
software testing
workflow management systems
logic programming
modal logic
learning algorithm
business process models
data sets
decision trees