Advanced control-flow and concurrency in C∀.

Thierry Delisle Peter A. Buhr

Published in: Softw. Pract. Exp. (2021)

Keyphrases

control flow
data flow
process model
software testing
database systems
workflow management systems
reactive systems
business process models
databases
concurrency control
machine learning
software systems
black box
transaction processing
workflow processes