4461 articles – 13151 Notices  [english version]
.:. Consultation > Par auteur > Amadio .:.
9 documents classés par :
fulltext access Feasible reactivity in a synchronous pi-calculus
Amadio R. M., Dabrowski F.
In Proceedings ACM SIGPLAN Principles and Practice of Declarative Programming - ACM SIGPLAN Principles and Practice of Declarative Programming, Poland (2007) [hal-00130322 - version 1]
fulltext access Reactive concurrent programming revisited
Amadio R. M., Boudol G., Castellani I., Boussinot F.
Dans Workshop on Process Algebra - Express, France (2006) [hal-00015838 - version 1]
fulltext access Resource Control for Synchronous Cooperative Threads
Amadio R. M., Dal Zilio S.
Journal of Theoretical Computer Science (TCS) 358 (2006) 229-254 [hal-00015836 - version 1]
Feasible Reactivity for Synchronous Cooperative Threads.
Amadio R. M., Dabrowski F.
In Expressiveness in Concurrency - Process Algebra, France (2006) [hal-00147244 - version 1]
fulltext access On name generation and set-based analysis in Dolev-Yao model
Amadio R. M., Charatonik W.
Research report (2002) [inria-00072209 - version 1]
fulltext access On the Decidability of Fragments of the Asynchronous Pi-Calculus
Amadio R. M., Meyssonnier C.
Rapport de recherche (2001) [inria-00072346 - version 1]
fulltext access On the Symbolic Reduction of Processes with Cryptographic Functions
Amadio R. M., Lugiez D., Vanackère V.
Research report (2001) [inria-00072478 - version 1]
fulltext access The Receptive Distributed $\pi$-Calculus
Amadio R. M., Boudol G., Lhoussaine C.
Rapport de recherche (2000) [inria-00072553 - version 1]
fulltext access On the Reachability Problem in Cryptographic Protocols
Amadio R. M., Lugiez D.
Rapport de recherche (2000) 33 [inria-00072738 - version 1]