Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes   We address the problem of analysing the complexity of concurrent programs
written in Pi-calculus. We are interested in parallel complexity, or span,
understood as the execution time in a model with maximal parallelism. A type
system for parallel complexity has been recently proposed by Baillot and
Ghyselen but it is too imprecise for non-linear channels and cannot analyse
some concurrent processes. Aiming for a more precise analysis, we design a type
system which builds on the concepts of sized types and usages. The new variant
of usages we define accounts for the various ways a channel is employed and
relies on time annotations to track under which conditions processes can
synchronize. We prove that a type derivation for a process provides an upper
bound on its parallel complexity.

16
The categories of this paper are: stat
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
37
The categories of this paper are: supr-con
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph