C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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