Comparing the Expressiveness of the π-calculus and CCS.

Rob van Glabbeek

Published in: ACM Trans. Comput. Log. (2024)

Keyphrases

expressive power
real time
neural network
data sets
computer vision
multimedia
case study
image sequences
artificial neural networks
computational properties
formal language
computer algebra