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

Roberto Amadio (1)

1 PPS - Preuves, Programmes et Systèmes

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.

Mots clés: Administrative form. CPS. Lambda calculus. Pi calculus. Termination; Administrative form. CPS. Lambda calculus. Pi calculus. Termination.

Domaines: Langage de programmation [cs.PL]

Roberto Amadio. A decompilation of the pi-calculus and its application to termination. 2011. ⟨hal-00565222⟩