A decompilation of the pi-calculus and its application to termination

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.

Cited by in corpus (1)

• Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines