106 articles – 48 references  [version française]
.:. Browse > List by authors > Amadio .:.
10 documents ordered by :
Resource Control for Synchronous Cooperative Threads
Amadio R., Dal Zilio S.
Theoretical Computer Science 358 (2006) (2-3):229-254 [hal-00109277 - version 1]
Special issue on Modelling and Verification of Cryptographic Protocols. Journal of Logic and Algebraic Programming, 64, 2005
Amadio R.
(2005) 165 [hal-00146976 - version 1]
Proceedings 18th IEEE Computer Security Foundations Workshop
Amadio R., Herzog J., Guttman J.
(2005) 300 [hal-00147019 - version 1]
Synthesis of max-plus quasi-interpretations
Amadio R.
Fundamenta Informaticae 65, 1-2 (2005) 29-60 [hal-00146968 - version 1]
A Functional Scenario for Bytecode Verification of Resource Bounds
Amadio R., Coupet-Grimal S., Dal Zilio S., Jakubiec L.
In Computer Science Logic - (2004) [hal-00146991 - version 1]
Resource Control for Synchronous Cooperative Threads
Amadio R., Dal Zilio S.
In Concurrency Theory - CONCUR Concurrency Theory, (2004) [hal-00146983 - version 1]
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]
CONCUR 2003 - Concurrency Theory, 14th International Conference
Amadio R., Lugiez D.
(2003) 512 [hal-00146995 - version 1]
Max-Plus Quasi-interpretations.
Amadio R.
In Typed Lambda Calculi and Applications - (2003) [hal-00146999 - version 1]
On the symbolic reduction of processes with cryptographic functions
Amadio R., Lugiez D., Vanackere V.
Journal of Theoretical Computer Science (TCS) 290 (2003) 695-740 [hal-00147013 - version 1]