Replacement freeness: A criterion for separating process calculi.

Rosario Pugliese Francesco Tiezzi

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

artificial intelligence
image processing
process model
database
real time
data sets
image segmentation
multiscale
data structure
artificial neural networks
software development