A decompilation of the pi-calculus and its application to termination
classification
💻 cs.PL
keywords
pi-calculusterminationadministrativeapplicationconcurrentcontinuationcorrespondencedecompilation
read the original abstract
We study the correspondence between a concurrent lambda-calculus in administrative, continuation passing style and a pi-calculus and we derive a termination result for the latter.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.