.:. Browse > List by authors > Amadio .:.

4 documents ordered by : Date Title first author name document type Submit date

Certifying and reasoning on cost annotations in C programs Ayache N., Amadio R., Régis-Gianas Y. FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems, France (2012) [hal-00702665 - version 2]

A decompilation of the pi-calculus and its application to termination Amadio R. Research report [hal-00565222 - version 1]

An affine-intuitionistic system of types and effects: confluence and termination Amadio R., Baillot P., Madet A. [hal-00438101 - version 2] (03/05/2010)

Resource Control for Synchronous Cooperative Threads Amadio R., Dal Zilio S. Theoretical Computer Science 358 (2006) (2-3):229-254 [hal-00109277 - version 1]