A Theory for the Composition of Concurrent Processes.

Ludovic Henrio Eric Madelaine Min Zhang

Published in: FORTE (2016)

Keyphrases

concurrent processes
theoretical framework
theoretical basis
data sets
image processing
relational databases
database systems
expert systems
petri net
formal theory