
Types for Complexity of Parallel Computation in Pi-Calculus
Author(s) -
Baillot, Patrick,
Ghyselen, Alexis
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - pi calculus , computation , computer science , parallel computing , calculus (dental) , theoretical computer science , algorithm , algebra over a field , mathematics , pure mathematics , medicine , dentistry