A decompilation of the pi-calculus and its application to termination
Programming Languages
2011-02-14 v1
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.
Keywords
Cite
@article{arxiv.1102.2339,
title = {A decompilation of the pi-calculus and its application to termination},
author = {Roberto Amadio},
journal= {arXiv preprint arXiv:1102.2339},
year = {2011}
}