We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

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

Authors: Patrick Baillot (LIP), Alexis Ghyselen (LIP), Naoki Kobayashi (UTokyo)
Abstract: 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.
Subjects: Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)
Cite as: arXiv:2104.07293 [cs.CC]
  (or arXiv:2104.07293v2 [cs.CC] for this version)

Submission history

From: Alexis Ghyselen [view email]
[v1] Thu, 15 Apr 2021 08:07:55 GMT (115kb)
[v2] Tue, 19 Oct 2021 08:20:37 GMT (55kb,D)

Link back to: arXiv, form interface, contact.