Comparing the expressiveness of the π-calculus and CCS.

Rob van Glabbeek

Published in: CoRR (2022)

Keyphrases

expressive power
databases
database
real time
image processing
multi agent
relational databases
hidden markov models
computational properties