Types for Parallel Complexity in the Pi-calculus.

Patrick Baillot Alexis Ghyselen

Published in: CoRR (2019)

Keyphrases

parallel processing
learning algorithm
computational complexity
worst case
distributed memory
decision trees
expert systems
decision problems
parallel computing
parallel computation
relational calculus