Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes.

Patrick Baillot Alexis Ghyselen Naoki Kobayashi

Published in: CoRR (2021)

Keyphrases

decision problems
space complexity
neural network
computational cost
worst case
general purpose
parallel computing
data mining
website
case study
parallel processing
temporal patterns
parallel implementation