28622 articles – 22134 Notices  [english version]
.:. Consultation > Par auteur > Amadio .:.
3 documents classés par :
fulltext access Certifying and reasoning on cost annotations in C programs
Ayache N., Amadio R., Régis-Gianas Y.
Dans FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems (2012) [hal-00702665 - version 2]
fulltext access An affine-intuitionistic system of types and effects: confluence and termination
Amadio R., Baillot P., Madet A.
(2010-05-03) [hal-00438101 - version 2]
The receptive distributed pi-calculus
Amadio R., Boudol G., Lhoussaine C.
ACM Transactions on Programming Languages and Systems 25, 5 (2003) 549-577 [hal-00147008 - version 1]