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

Patrick Baillot Alexis Ghyselen Naoki Kobayashi

Published in: CONCUR (2021)

Keyphrases

computational cost
computational complexity
lower bound
general purpose

data sets
learning algorithm
information systems
data structure

fuzzy logic
parallel processing
space complexity
parallel computing

parallel computation
multi core processors
distributed memory machines