Representing Control Flow Behaviour of Programs.

Cyril Meurillon Ciaran O'Donnell

Published in: IFIP PACT (1994)

Keyphrases

control flow
data flow
process model
workflow management systems
transition systems
software testing
formal semantics
prolog programs
business process models
database
data structure
intelligent systems
black box
memory hierarchy