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

Amadio, Roberto

Publication date

February 2011

Publisher

HAL CCSD

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items