7 citations · 7 across the 3 of their papers we have counts for
Showing 2011 · cs.PLShow all
2 papers · 2 filters
cs.PL2011★ 7 cited
A decompilation of the pi-calculus and its application to termination
Roberto Amadio
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.
cs.PL2011
Elementary affine -calculus with multithreading and side effects
Antoine Madet, Roberto M. Amadio
Linear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side…