We study type systems for termination in the $pi$-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done in polynomial time for two of these, but that this is not the case for the two most expressive systems. To remedy this, we study two modifications of these type systems that allow us to recover a polynomial type inference.
R. Demangeon, D. l Hirschkoff, N. Kobayashi, D. Sangiorgi (2008). On the Complexity of Termination Inference for Processes. BERLIN : Springer.
On the Complexity of Termination Inference for Processes
SANGIORGI, DAVIDE
2008
Abstract
We study type systems for termination in the $pi$-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done in polynomial time for two of these, but that this is not the case for the two most expressive systems. To remedy this, we study two modifications of these type systems that allow us to recover a polynomial type inference.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
